src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Fri Dec 19 15:05:37 2008 +0100
+++ b/src/Pure/Isar/ROOT.ML	Fri Dec 19 16:39:23 2008 +0100
@@ -51,7 +51,6 @@
 use "obtain.ML";
 
 (*local theories and targets*)
-val new_locales = ref false;
 use "local_theory.ML";
 use "overloading.ML";
 use "locale.ML";