src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Jan 09 15:18:41 2018 +0100
+++ b/src/Pure/ROOT.ML	Tue Jan 09 15:40:12 2018 +0100
@@ -281,6 +281,7 @@
 ML_file "Thy/term_style.ML";
 ML_file "Isar/outer_syntax.ML";
 ML_file "ML/ml_antiquotations.ML";
+ML_file "Thy/document_antiquotation.ML";
 ML_file "Thy/thy_output.ML";
 ML_file "Thy/document_antiquotations.ML";
 ML_file "General/graph_display.ML";