src/Pure/Isar/local_syntax.ML
changeset 32738 15bb09ca0378
parent 29606 fedb8be05f24
child 33387 acea2f336721
     1.1 --- a/src/Pure/Isar/local_syntax.ML	Tue Sep 29 11:48:32 2009 +0200
     1.2 +++ b/src/Pure/Isar/local_syntax.ML	Tue Sep 29 11:49:22 2009 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  Local syntax depending on theory syntax.
     1.5  *)
     1.6  
     1.7 -val show_structs = ref false;
     1.8 +val show_structs = Unsynchronized.ref false;
     1.9  
    1.10  signature LOCAL_SYNTAX =
    1.11  sig