1.1 --- a/test/Tools/isac/Minisubpbl/490-nxt-Check_Postcond.sml	Tue Apr 21 12:26:08 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/490-nxt-Check_Postcond.sml	Tue Apr 21 15:42:50 2020 +0200
     1.3 @@ -44,7 +44,7 @@
     1.4      (*if*) member op = [Pbl,Met] p_; (*= false*)
     1.5  
     1.6  "~~~~~ and do_next , args:"; val (ptp as (pt, pos as (p, p_))) = (pt, ip);
     1.7 -(*if*) e_metID = get_obj g_metID pt (par_pblobj pt p); (*false*)
     1.8 +(*if*) Spec.e_metID = get_obj g_metID pt (par_pblobj pt p); (*false*)
     1.9  val thy' = get_obj g_domID pt (par_pblobj pt p);
    1.10  val ((ist, ctxt), sc) = resume_prog thy' (p,p_) pt;
    1.11