1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Fri Apr 10 12:28:47 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Fri Apr 10 14:46:55 2020 +0200
     1.3 @@ -77,11 +77,11 @@
     1.4  if ct<>"x = -12 / 5"then error "new behaviour in testexample"else ();
     1.5  
     1.6  (* 
     1.7 -val ct = "x = (-12) / 5" : cterm'
     1.8 +val ct = "x = (-12) / 5" : TermC.as_string
     1.9  > asm;
    1.10  val it =
    1.11    ["(+0) <= sqrt x  + sqrt ((-3) + x) ","(+0) <= 9 + 4 * x",
    1.12 -   "(+0) <= (-3) * x + x ^^^ 2","(+0) <= 6 + x"] : cterm' list
    1.13 +   "(+0) <= (-3) * x + x ^^^ 2","(+0) <= 6 + x"] : TermC.as_string list
    1.14  *)
    1.15  
    1.16