--- a/src/Pure/ROOT.ML Sat Dec 01 15:55:04 2018 +0100
+++ b/src/Pure/ROOT.ML Sat Dec 01 16:11:59 2018 +0100
@@ -347,4 +347,4 @@
ML_file "Tools/named_theorems.ML";
ML_file "Tools/jedit.ML";
ML_file "Tools/ghc.ML";
-ML_file "Tools/generate_file.ML"
+ML_file "Tools/generated_files.ML"