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