1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Tue Apr 21 16:53:17 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 22 11:06:48 2020 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4 -(* Trace.trace_rewrite:= true;
     1.5 -   Trace.trace_rewrite:= false;
     1.6 +(* Rewrite.trace_on:= true;
     1.7 +   Rewrite.trace_on:= false;
     1.8  
     1.9     method "sqrt-equ-test", _NOT_ "square-equation" 
    1.10  *)
    1.11 @@ -546,8 +546,8 @@
    1.12   val t = str2term "sqrt (9 + 4 * x) = sqrt x + sqrt (5 + x)";
    1.13   val SOME (t',asm) = rewrite_set_ thy false rls t;
    1.14   UnparseC.term t';
    1.15 -> Trace.trace_rewrite:=true; 
    1.16 - Trace.trace_rewrite:=false; 
    1.17 +> Rewrite.trace_on:=true; 
    1.18 + Rewrite.trace_on:=false; 
    1.19  *)
    1.20  
    1.21  (*me------------