diff -r 660ed21464d2 -r 8c4142718e45 test/Tools/isac/Interpret/error-pattern.sml
--- a/test/Tools/isac/Interpret/error-pattern.sml	Thu May 14 13:48:45 2020 +0200
+++ b/test/Tools/isac/Interpret/error-pattern.sml	Thu May 14 14:49:13 2020 +0200
@@ -1030,7 +1030,7 @@
         val pos_pred = lev_back' pos
     	  val f_pred = Ctree.get_curr_formula (pt, pos_pred);
         (*if*) f_pred = f_in; (*else*)
-          val NONE = (*case*) Input_Spec.cas_input f_in (*of*);
+          val NONE = (*case*) P_Specificcas_input f_in (*of*);
        (*old* )val (_, _, metID) = get_obj g_spec pt (par_pblobj pt p)
        (*old*)val {scr = prog, ...} = Method.from_store metID
        (*old*)val istate = get_istate_LI pt pos