diff -r 0c10aeff57d7 -r e5e9a6c45597 test/Tools/isac/Knowledge/polyeq-2.sml
--- a/test/Tools/isac/Knowledge/polyeq-2.sml	Sat Jul 17 14:05:28 2021 +0200
+++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Sun Jul 18 16:20:32 2021 +0200
@@ -252,9 +252,9 @@
 (* the invisible parentheses are as expected *)
 
 val t = TermC.str2term "(x + 1) * (x + 2) - (3 * x - 2) \<up> 2 - ((2 * x - 1) \<up> 2 + (3 * x - 1) * (x + 1)) = 0";
-Rewrite.trace_on:=(*true*)false;
+Rewrite.trace_on:= false; (*true false*)
 rewrite_set_ thy false expand_binoms t;
-Rewrite.trace_on:=false;
+Rewrite.trace_on:=false; (*true false*)
 
 
 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------";