src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Mar 09 23:57:07 2019 +0100
+++ b/src/Pure/ROOT.ML	Sun Mar 10 00:21:34 2019 +0100
@@ -208,6 +208,7 @@
 ML_file "Isar/parse.ML";
 ML_file "Thy/document_source.ML";
 ML_file "Thy/thy_header.ML";
+ML_file "Thy/document_marker.ML";
 
 (*proof context*)
 ML_file "Isar/object_logic.ML";