diff -r c1fde53e5e82 -r 038ed9b76c2b src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sat Aug 17 11:02:09 2019 +0200
+++ b/src/Pure/ROOT.ML	Sat Aug 17 11:13:16 2019 +0200
@@ -309,6 +309,7 @@
 ML_file "PIDE/resources.ML";
 ML_file "Thy/present.ML";
 ML_file "Thy/thy_info.ML";
+ML_file "Thy/thm_deps.ML";
 ML_file "Thy/export_theory.ML";
 ML_file "Thy/sessions.ML";
 ML_file "PIDE/session.ML";
@@ -341,7 +342,6 @@
 ML_file "Tools/print_operation.ML";
 ML_file "Tools/rail.ML";
 ML_file "Tools/rule_insts.ML";
-ML_file "Tools/thm_deps.ML";
 ML_file "Tools/thy_deps.ML";
 ML_file "Tools/class_deps.ML";
 ML_file "Tools/find_theorems.ML";