1.1 --- a/test/Tools/isac/Interpret/me.sml	Tue Jul 19 13:12:37 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/me.sml	Tue Jul 19 14:01:27 2011 +0200
     1.3 @@ -337,7 +337,7 @@
     1.4  "--------- solve_linear as rootpbl AUTOCALCULATE CompleteModel ---";
     1.5   val c = [];
     1.6   val (p,_,f,nxt,_,pt) = CalcTreeTEST 
     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"]))];
    1.12 @@ -373,7 +373,7 @@
    1.13  "--------- solve_linear as rootpbl AUTOCALCULATE CompleteCalcHead-";
    1.14   states:=[];
    1.15   CalcTree      (*start of calculation, return No.1*)
    1.16 -     [(["equality (1+-1*2+x=0)", "solveFor x","solutions L"],
    1.17 +     [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
    1.18         ("Test", 
    1.19  	["linear","univariate","equation","test"],
    1.20  	["Test","solve_linear"]))];