src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Fri Apr 30 18:02:16 1999 +0200
+++ b/src/Pure/Isar/ROOT.ML	Fri Apr 30 18:04:42 1999 +0200
@@ -15,6 +15,7 @@
 use "method.ML";
 
 (*outer syntax*)
+use "comment.ML";
 use "outer_lex.ML";
 use "outer_parse.ML";