src/Pure/ROOT.ML
changeset 32738 15bb09ca0378
parent 32736 f126e68d003d
child 32815 1a5e364584ae
--- a/src/Pure/ROOT.ML	Tue Sep 29 11:48:32 2009 +0200
+++ b/src/Pure/ROOT.ML	Tue Sep 29 11:49:22 2009 +0200
@@ -8,7 +8,7 @@
 end;
 
 (*if true then some tools will OMIT some proofs*)
-val quick_and_dirty = ref false;
+val quick_and_dirty = Unsynchronized.ref false;
 
 print_depth 10;