src/Pure/Syntax/ROOT.ML

--- a/src/Pure/Syntax/ROOT.ML	Fri Oct 08 12:35:53 1993 +0100
+++ b/src/Pure/Syntax/ROOT.ML	Fri Oct 08 13:55:04 1993 +0100
@@ -5,8 +5,6 @@
 This file builds the syntax module.
 *)
 
-use "lib.ML";   (* FIXME *)
-
 use "pretty.ML";
 
 use "ast.ML";