diff -r a3d65f3b495f -r 4e6fc3336336 test/Tools/isac/ProgLang/listC.sml
--- a/test/Tools/isac/ProgLang/listC.sml	Tue Apr 21 16:16:11 2020 +0200
+++ b/test/Tools/isac/ProgLang/listC.sml	Tue Apr 21 16:53:17 2020 +0200
@@ -63,9 +63,9 @@
 (* now the argument "(3 + - 1)" etc needs to be evaluated in the assumption of NTH_CONS *)
 val t = str2term "NTH 3 [a,b,c,d,e]";
 atomty t;
-trace_rewrite := false;
+Trace.trace_rewrite := false;
 val SOME (t', _) = rewrite_set_ thy false prog_expr t;
-trace_rewrite := false;
+Trace.trace_rewrite := false;
 if UnparseC.term t' = "c" then () 
 else error "NTH 3 [a,b,c,d,e] = c ..changed";