1.1 --- a/test/Tools/isac/Minisubpbl/800-append-on-Frm.sml	Wed Apr 22 11:23:30 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/800-append-on-Frm.sml	Wed Apr 22 14:36:27 2020 +0200
     1.3 @@ -49,7 +49,7 @@
     1.4  
     1.5          LI.do_next (pt, input_pos);
     1.6  "~~~~~ and do_next , args:"; val ((ptp as (pt, pos as (p, p_)))) = (pt, input_pos);
     1.7 -    (*if*) Spec.e_metID = get_obj g_metID pt (par_pblobj pt p) (*else*);
     1.8 +    (*if*) Method.id_empty = 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