1.1 --- a/test/Tools/isac/Knowledge/diffapp.sml	Sat Jul 20 08:07:39 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diffapp.sml	Sun Jul 21 15:08:31 2013 +0200
     1.3 @@ -6,6 +6,7 @@
     1.4     use"diffapp.sml";
     1.5  *)
     1.6  
     1.7 +trace_rewrite := false;
     1.8  "Contents----------------------------------------------";
     1.9  "              Specify_Problem (match_itms_oris)       ";
    1.10  "              test specify, fmz <> []                  ";