1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml Thu May 14 13:48:45 2020 +0200
1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml Thu May 14 14:49:13 2020 +0200
1.3 @@ -1030,7 +1030,7 @@
1.4 val pos_pred = lev_back' pos
1.5 val f_pred = Ctree.get_curr_formula (pt, pos_pred);
1.6 (*if*) f_pred = f_in; (*else*)
1.7 - val NONE = (*case*) Input_Spec.cas_input f_in (*of*);
1.8 + val NONE = (*case*) P_Specificcas_input f_in (*of*);
1.9 (*old* )val (_, _, metID) = get_obj g_spec pt (par_pblobj pt p)
1.10 (*old*)val {scr = prog, ...} = Method.from_store metID
1.11 (*old*)val istate = get_istate_LI pt pos