1.1 --- a/test/Tools/isac/Interpret/calchead.sml Tue May 03 15:58:04 2011 +0200
1.2 +++ b/test/Tools/isac/Interpret/calchead.sml Tue May 03 16:20:55 2011 +0200
1.3 @@ -26,10 +26,8 @@
1.4 "--------- get_interval after replace} other 2 ----------";
1.5 "--------- get_interval after replace} other 2 ----------";
1.6 states := [];
1.7 - CalcTree
1.8 - [(["equality (x+1=2)", "solveFor x","solutions L"],
1.9 - ("Test",
1.10 - ["sqroot-test","univariate","equation","test"],
1.11 + CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
1.12 + ("Test", ["sqroot-test","univariate","equation","test"],
1.13 ["Test","squ-equ-test-subpbl1"]))];
1.14 Iterator 1;
1.15 moveActiveRoot 1;