src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Nov 18 15:41:02 2020 +0100
+++ b/src/Pure/ROOT.ML	Wed Nov 18 15:47:53 2020 +0100
@@ -309,7 +309,6 @@
 ML_file "PIDE/command.ML";
 ML_file "PIDE/query_operation.ML";
 ML_file "PIDE/resources.ML";
-ML_file "Thy/present.ML";
 ML_file "Thy/thy_info.ML";
 ML_file "thm_deps.ML";
 ML_file "Thy/export_theory.ML";