1.1 --- a/test/Tools/isac/ProgLang/rewrite.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/rewrite.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -521,7 +521,7 @@
     1.4  *)
     1.5  trace_rewrite := false;
     1.6  
     1.7 -trace_rewrite := true;
     1.8 +trace_rewrite := false;
     1.9  val SOME (t', []) = rewrite_set_ thy true RatEq_eliminate t; (*= [] must be = "x ~= 0"*)
    1.10  term2str t' = "1 = 5 * x";
    1.11  (*