1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Tue Sep 17 10:25:24 2019 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Sep 18 12:15:59 2019 +0200
     1.3 @@ -1,7 +1,4 @@
     1.4 -(* use"../systest/root-equ.sml";
     1.5 -   use"systest/root-equ.sml";
     1.6 -   use"root-equ.sml";
     1.7 -   trace_rewrite:= true;
     1.8 +(* trace_rewrite:= true;
     1.9     trace_rewrite:= false;
    1.10  
    1.11     method "sqrt-equ-test", _NOT_ "square-equation" 
    1.12 @@ -549,7 +546,7 @@
    1.13   val t = str2term "sqrt (9 + 4 * x) = sqrt x + sqrt (5 + x)";
    1.14   val SOME (t',asm) = rewrite_set_ thy false rls t;
    1.15   term2str t';
    1.16 - trace_rewrite:=true; 
    1.17 +> trace_rewrite:=true; 
    1.18   trace_rewrite:=false; 
    1.19  *)
    1.20