1.1 --- a/test/Tools/isac/Knowledge/diffapp.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diffapp.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -671,7 +671,7 @@
     1.4  term2str s;
     1.5  val t = str2term 
     1.6  "(hd o filterVar A) [A = a * b, a / 2 = r * sin alpha, b / 2 = r * cos alpha]";
     1.7 -trace_rewrite:=true;
     1.8 +trace_rewrite := false;
     1.9  val SOME (t',_) = rewrite_set_ thy false list_rls t;
    1.10  trace_rewrite:=false;
    1.11  val s' = term2str t';