1.1 --- a/test/Tools/isac/ProgLang/listC.sml	Tue Apr 21 16:16:11 2020 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/listC.sml	Tue Apr 21 16:53:17 2020 +0200
     1.3 @@ -63,9 +63,9 @@
     1.4  (* now the argument "(3 + - 1)" etc needs to be evaluated in the assumption of NTH_CONS *)
     1.5  val t = str2term "NTH 3 [a,b,c,d,e]";
     1.6  atomty t;
     1.7 -trace_rewrite := false;
     1.8 +Trace.trace_rewrite := false;
     1.9  val SOME (t', _) = rewrite_set_ thy false prog_expr t;
    1.10 -trace_rewrite := false;
    1.11 +Trace.trace_rewrite := false;
    1.12  if UnparseC.term t' = "c" then () 
    1.13  else error "NTH 3 [a,b,c,d,e] = c ..changed";
    1.14