1.1 --- a/test/Tools/isac/Knowledge/polyeq-2.sml	Tue Apr 21 16:16:11 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Tue Apr 21 16:53:17 2020 +0200
     1.3 @@ -256,9 +256,9 @@
     1.4  (* the invisible parentheses are as expected *)
     1.5  
     1.6  val t = str2term "(x + 1) * (x + 2) - (3 * x - 2) ^^^ 2 - ((2 * x - 1) ^^^ 2 + (3 * x - 1) * (x + 1)) = 0";
     1.7 -trace_rewrite:=(*true*)false;
     1.8 +Trace.trace_rewrite:=(*true*)false;
     1.9  rewrite_set_ thy false expand_binoms t;
    1.10 -trace_rewrite:=false;
    1.11 +Trace.trace_rewrite:=false;
    1.12  
    1.13  
    1.14  "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------";