1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Thu May 14 13:33:47 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Thu May 14 13:48:45 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*) In_Chead.cas_input f_in (*of*);
     1.8 +          val NONE = (*case*) Input_Spec.cas_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