1.1 --- a/test/Tools/isac/Knowledge/poly.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/poly.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -381,11 +381,11 @@
     1.4  ... then trace_rewrite:*)
     1.5  
     1.6  "-----2 ---";
     1.7 -trace_rewrite := true; 
     1.8 +trace_rewrite := false;
     1.9  match_pbl fmz pbt;
    1.10  trace_rewrite := false;
    1.11  (*... if there is no rewrite, then there is something wrong with prls*)
    1.12 -
    1.13 +                              
    1.14  "-----3 ---";
    1.15  print_depth 7;
    1.16  val prls = (#prls o get_pbt) ["polynomial","simplification"];