diff -r e469d529e6da -r 42d63ea39161 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri May 11 22:40:02 2018 +0200
+++ b/src/Pure/ROOT.ML	Fri May 11 22:59:00 2018 +0200
@@ -303,6 +303,7 @@
 ML_file "Thy/export.ML";
 ML_file "Thy/present.ML";
 ML_file "Thy/thy_info.ML";
+ML_file "Thy/export_theory.ML";
 ML_file "Thy/sessions.ML";
 ML_file "PIDE/session.ML";
 ML_file "PIDE/protocol_message.ML";