1.1 --- a/test/Tools/isac/Interpret/lucas-interpreter.sml	Tue Jul 20 14:37:56 2021 +0200
     1.2 +++ b/test/Tools/isac/Interpret/lucas-interpreter.sml	Tue Jul 27 11:21:14 2021 +0200
     1.3 @@ -570,7 +570,6 @@
     1.4    val ("ok", cs' as (_, _, ptp')) =
     1.5      (*case*) Step.do_next pos cs (*of*);
     1.6  
     1.7 -(*TOODOO broken with "reduce the number of TermC.parse---------------------------------------\\*"
     1.8  val ("ok", (_(*use in DG !!!*), [], ptp''''' as (pt''''', p'''''))) = (*case*)
     1.9       Step_Solve.by_term ptp' (encode ifo) (*of*);
    1.10  "~~~~~ fun Step_Solve.by_term , args:"; val ((pt, pos as (p, _)), istr)
    1.11 @@ -678,5 +677,3 @@
    1.12  ([3], Res), [x = 1]
    1.13  . . . . . . . . . . Check_Postcond ["sqroot-test", "univariate", "equation", "test"],
    1.14  ([], Res), [x = 1]]*)
    1.15 -  TOODOObroken with "reduce the number of TermC.parse*"--------------------------------------//*)
    1.16 -