1.1 --- a/test/Tools/isac/Interpret/script.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -184,7 +184,7 @@
     1.4  "----------- fun sel_appl_atomic_tacs ----------------------------";
     1.5  "----------- fun sel_appl_atomic_tacs ----------------------------";
     1.6  
     1.7 -states:=[];
     1.8 +reset_states ();
     1.9  CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.10    ("Test", ["sqroot-test","univariate","equation","test"],
    1.11     ["Test","squ-equ-test-subpbl1"]))];
    1.12 @@ -476,7 +476,7 @@
    1.13  (* compare test/../interface.sml
    1.14  "--------- getTactic, fetchApplicableTactics ------------";
    1.15  *)
    1.16 - states:=[];
    1.17 + reset_states ();
    1.18   CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.19     ("Test", ["sqroot-test","univariate","equation","test"],
    1.20      ["Test","squ-equ-test-subpbl1"]))];
    1.21 @@ -519,7 +519,7 @@
    1.22  "----------- fun sel_appl_atomic_tacs ----------------------------";
    1.23  "----------- fun sel_appl_atomic_tacs ----------------------------";
    1.24  "----------- fun sel_appl_atomic_tacs ----------------------------";
    1.25 - states:=[];
    1.26 + reset_states ();
    1.27   CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.28     ("Test", ["sqroot-test","univariate","equation","test"],
    1.29      ["Test","squ-equ-test-subpbl1"]))];