1.1 --- a/test/Tools/isac/Knowledge/poly-2.sml	Sat Jul 17 14:05:28 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/poly-2.sml	Sun Jul 18 16:20:32 2021 +0200
     1.3 @@ -604,9 +604,9 @@
     1.4  ... then Rewrite.trace_on:*)
     1.5                             
     1.6  "----- 2 ---";
     1.7 -Rewrite.trace_on := false;
     1.8 +Rewrite.trace_on := false; (*true false*)
     1.9  M_Match.match_pbl fmz pbt;
    1.10 -Rewrite.trace_on := false;
    1.11 +Rewrite.trace_on := false; (*true false*)
    1.12  (*... if there is no rewrite, then there is something wrong with prls*)
    1.13                                
    1.14  "-----3 ---";