src/Pure/Isar/ROOT.ML
changeset 28849 9458d7a6388a
parent 28795 6891e273c33b
child 29249 4dc278c8dc59
--- a/src/Pure/Isar/ROOT.ML	Wed Nov 19 08:58:57 2008 +0100
+++ b/src/Pure/Isar/ROOT.ML	Wed Nov 19 16:58:33 2008 +0100
@@ -51,6 +51,7 @@
 use "obtain.ML";
 
 (*local theories and targets*)
+val new_locales = ref false;
 use "local_theory.ML";
 use "overloading.ML";
 use "locale.ML";