1.1 --- a/test/Tools/isac/Minisubpbl/470-Check_elementwise-NEXT_STEP.sml	Fri Oct 07 20:46:48 2022 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/470-Check_elementwise-NEXT_STEP.sml	Sat Oct 08 11:40:48 2022 +0200
     1.3 @@ -54,7 +54,7 @@
     1.4  "~~~~~ and do_next , args:"; val ((ptp as (pt, pos as (p, p_)))) = ((pt, ip));
     1.5      (*if*) MethodC.id_empty = get_obj g_metID pt (par_pblobj pt p) (*else*);
     1.6          val thy' = get_obj g_domID pt (par_pblobj pt p);
     1.7 -	      val ((ist, ctxt), sc) = LItool.resume_prog_PIDE (p,p_) pt;
     1.8 +	      val ((ist, ctxt), sc) = LItool.resume_prog (p,p_) pt;
     1.9  
    1.10             LI.find_next_step sc (pt, pos) ist ctxt;
    1.11  "~~~~~ fun find_next_step , args:"; val (Rule.Prog prog, (ptp as(pt, (p, _))), Istate.Pstate ist, ctxt)