1.1 --- a/test/Tools/isac/Interpret/lucas-interpreter.sml	Mon Jan 30 12:38:17 2023 +0100
     1.2 +++ b/test/Tools/isac/Interpret/lucas-interpreter.sml	Tue Jan 31 10:49:17 2023 +0100
     1.3 @@ -666,7 +666,7 @@
     1.4  "~~~~~ fun Step_Solve.by_term , args:"; val ((pt, pos as (p, _)), istr)
     1.5    = (ptp', (encode ifo));
     1.6    val SOME f_in =
     1.7 -    (*case*) TermC.parseNEW (get_ctxt pt pos) istr (*of*);
     1.8 +    (*case*) ParseC.term_opt (get_ctxt pt pos) istr (*of*);
     1.9        val pos_pred = lev_back(*'*) pos
    1.10    	  val f_pred = Ctree.get_curr_formula (pt, pos_pred);
    1.11    	  val f_succ = Ctree.get_curr_formula (pt, pos);