1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  "--------- get_interval after replace} other 2 ----------";
     1.5  "--------- get_interval after replace} other 2 ----------";
     1.6  "--------- get_interval after replace} other 2 ----------";
     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"]))];