--- a/src/Pure/ROOT.ML Tue Jul 30 13:22:29 2019 +0200
+++ b/src/Pure/ROOT.ML Tue Jul 30 14:35:29 2019 +0200
@@ -169,7 +169,6 @@
ML_file "unify.ML";
ML_file "theory.ML";
ML_file "proofterm.ML";
-ML_file "Proof/reconstruct.ML";
ML_file "thm.ML";
ML_file "more_pattern.ML";
ML_file "more_unify.ML";