1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Thu May 14 14:49:13 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Thu May 14 15:06:18 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*) P_Specificcas_input f_in (*of*);
     1.8 +          val NONE = (*case*) P_Specific.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