src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sun May 06 19:10:21 2018 +0200
+++ b/src/Pure/ROOT.ML	Sun May 06 22:15:52 2018 +0200
@@ -300,6 +300,7 @@
 ML_file "PIDE/command.ML";
 ML_file "PIDE/query_operation.ML";
 ML_file "PIDE/resources.ML";
+ML_file "Thy/export.ML";
 ML_file "Thy/present.ML";
 ML_file "Thy/thy_info.ML";
 ML_file "Thy/sessions.ML";