src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon May 25 21:16:03 1998 +0200
+++ b/src/Pure/ROOT.ML	Mon May 25 21:17:08 1998 +0200
@@ -49,7 +49,6 @@
 use "axclass.ML";
 
 (*theory parser and loader*)
-val global_names = ref false;		(* FIXME tmp *)
 cd "Thy";
 use "ROOT.ML";
 cd "..";