1.1 --- a/test/Tools/isac/Knowledge/rooteq.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rooteq.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  
     1.5   Compiler.Control.Print.printDepth:=10; (*4 default*)
     1.6   Compiler.Control.Print.printDepth:=5; (*4 default*)
     1.7 - trace_rewrite:=true;
     1.8 +trace_rewrite := false;
     1.9  *)
    1.10  "----------- rooteq.sml begin--------";
    1.11  "--------------(1/sqrt(x)=5)---------------------------------------";