1.1 --- a/test/Tools/isac/Minisubpbl/470-Check_elementwise-NEXT_STEP.sml Tue Apr 21 12:26:08 2020 +0200
1.2 +++ b/test/Tools/isac/Minisubpbl/470-Check_elementwise-NEXT_STEP.sml Tue Apr 21 15:42:50 2020 +0200
1.3 @@ -52,7 +52,7 @@
1.4
1.5 LI.do_next (pt, ip);
1.6 "~~~~~ and do_next , args:"; val ((ptp as (pt, pos as (p, p_)))) = ((pt, ip));
1.7 - (*if*) Celem.e_metID = get_obj g_metID pt (par_pblobj pt p) (*else*);
1.8 + (*if*) Spec.e_metID = get_obj g_metID pt (par_pblobj pt p) (*else*);
1.9 val thy' = get_obj g_domID pt (par_pblobj pt p);
1.10 val ((ist, ctxt), sc) = LItool.resume_prog thy' (p,p_) pt;
1.11