diff -r 373d13915f8c -r 273ffde50058 src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Tue Mar 31 15:43:33 2020 +0200
+++ b/src/Tools/isac/Build_Isac.thy	Wed Apr 01 10:24:13 2020 +0200
@@ -148,7 +148,7 @@
     calcelems.sml:val depth = Unsynchronized.ref 99999;
     calcelems.sml:val lim_rewrite = Unsynchronized.ref 99999;
     calcelems.sml:val lim_deriv = Unsynchronized.ref 100;
-    Interpret/script.sml:val trace_script = Unsynchronized.ref false;
+    Interpret/script.sml:val trace_LI = Unsynchronized.ref false;
   KEEP FOR EASIER DEVELOPMENT
     calcelems.sml:val check_guhs_unique = Unsynchronized.ref true;
   KEEP FOR DEMOS