src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Jan 13 21:41:36 2018 +0100
+++ b/src/Pure/ROOT.ML	Sun Jan 14 14:11:02 2018 +0100
@@ -44,6 +44,7 @@
 ML_file "General/position.ML";
 ML_file "General/symbol_pos.ML";
 ML_file "General/input.ML";
+ML_file "General/comment.ML";
 ML_file "General/antiquote.ML";
 ML_file "ML/ml_lex.ML";
 ML_file "ML/ml_compiler1.ML";