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