src/ZF/ind_syntax.ML
changeset 32740 9dd0a2f83429
parent 30345 76fd85bbf139
child 32765 3032c0308019
--- a/src/ZF/ind_syntax.ML	Tue Sep 29 14:59:24 2009 +0200
+++ b/src/ZF/ind_syntax.ML	Tue Sep 29 16:24:36 2009 +0200
@@ -10,7 +10,7 @@
 struct
 
 (*Print tracing messages during processing of "inductive" theory sections*)
-val trace = ref false;
+val trace = Unsynchronized.ref false;
 
 fun traceIt msg thy t =
   if !trace then (tracing (msg ^ Syntax.string_of_term_global thy t); t)