1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Tue Jul 19 13:12:37 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Tue Jul 19 14:01:27 2011 +0200
     1.3 @@ -583,7 +583,7 @@
     1.4  "-------------- move_dn: Frm -> Res ------------------------------";
     1.5   (*states := [];
     1.6   CalcTree      (*start of calculation, return No.1*)
     1.7 -     [(["equality (1+-1*2+x=0)", "solveFor x","solutions L"],
     1.8 +     [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
     1.9         ("Test", 
    1.10  	["linear","univariate","equation","test"],
    1.11  	["Test","solve_linear"]))];