1.1 --- a/test/Tools/isac/Knowledge/eqsystem-1.sml	Mon Jan 30 12:38:17 2023 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem-1.sml	Tue Jan 31 10:49:17 2023 +0100
     1.3 @@ -92,9 +92,9 @@
     1.4  if UnparseC.term t' = "True" then () 
     1.5  else error "eqsystem.sml: length_ [x+y=1,y=2] = 2";
     1.6  
     1.7 -val SOME t = TermC.parseNEW ctxt "solution LL";
     1.8 +val SOME t = ParseC.term_opt ctxt "solution LL";
     1.9  TermC.atom_trace_detail @{context} t;
    1.10 -val SOME t = TermC.parseNEW ctxt "solution LL";
    1.11 +val SOME t = ParseC.term_opt ctxt "solution LL";
    1.12  TermC.atom_trace_detail @{context} t;
    1.13  
    1.14  val t = ParseC.parse_test @{context}