1.1 --- a/test/Tools/isac/Knowledge/poly.sml	Tue Apr 21 16:53:17 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/poly.sml	Wed Apr 22 11:06:48 2020 +0200
     1.3 @@ -341,7 +341,7 @@
     1.4  if UnparseC.term t' = "x * x ^^^ 2" then ()
     1.5  else error "poly.sml Poly.is'_multUnordered doesn't work";
     1.6  
     1.7 -(* 100928 Trace.trace_rewrite shows the first occurring difference in 267b:
     1.8 +(* 100928 Rewrite.trace_on shows the first occurring difference in 267b:
     1.9  ###  rls: order_mult_ on: 5 * x ^^^ 2 * (2 * x ^^^ 7) + 5 * x ^^^ 2 * 3 + (6 * x ^^^ 7 + 9) + (-1 * (3 * x ^^^ 5 * (6 * x ^^^ 4)) + -1 * (3 * x ^^^ 5 * -1) +
    1.10   (-48 * x ^^^ 4 + 8))
    1.11  ######  rls: Rule_Set.empty-is_multUnordered on: p is_multUnordered
    1.12 @@ -575,12 +575,12 @@
    1.13  (*default_print_depth 3;*)
    1.14  (*if there is ...
    1.15  > val NoMatch' {Given=gi, Where=wh, Find=fi,...} = match_pbl fmz pbt;
    1.16 -... then Trace.trace_rewrite:*)
    1.17 +... then Rewrite.trace_on:*)
    1.18  
    1.19  "-----2 ---";
    1.20 -Trace.trace_rewrite := false;
    1.21 +Rewrite.trace_on := false;
    1.22  match_pbl fmz pbt;
    1.23 -Trace.trace_rewrite := false;
    1.24 +Rewrite.trace_on := false;
    1.25  (*... if there is no rewrite, then there is something wrong with prls*)
    1.26                                
    1.27  "-----3 ---";