1.1 --- a/test/Tools/isac/OLDTESTS/script.sml Tue May 03 15:58:04 2011 +0200
1.2 +++ b/test/Tools/isac/OLDTESTS/script.sml Tue May 03 16:20:55 2011 +0200
1.3 @@ -304,10 +304,8 @@
1.4 "--------- sel_rules ---------------------------------------------";
1.5 "--------- sel_rules ---------------------------------------------";
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;