1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Wed Mar 18 14:51:58 2020 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Wed Mar 18 15:23:15 2020 +0100
     1.3 @@ -55,7 +55,7 @@
     1.4  "~~~~~ and do_next , args:"; val (ptp as (pt, pos as (p, p_))) = (pt, ip);
     1.5      (*if*) Celem.e_metID = 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 (srls, (ist, ctxt), sc) = LItool.from_pblobj_or_detail' thy' (p,p_) pt;
     1.8 +	      val ((ist, ctxt), sc) = LItool.resume_prog thy' (p,p_) pt;
     1.9  
    1.10      val Next_Step (_, _, Check_elementwise' _) =
    1.11         (*case*) LI.find_next_step sc (pt, pos) ist ctxt (*of*);