--- a/src/HOL/Sledgehammer.thy Tue Oct 16 18:07:59 2012 +0200
+++ b/src/HOL/Sledgehammer.thy Tue Oct 16 18:50:53 2012 +0200
@@ -14,6 +14,7 @@
ML_file "Tools/Sledgehammer/async_manager.ML"
ML_file "Tools/Sledgehammer/sledgehammer_util.ML"
ML_file "Tools/Sledgehammer/sledgehammer_fact.ML"
+ML_file "Tools/Sledgehammer/sledgehammer_reconstruct.ML"
ML_file "Tools/Sledgehammer/sledgehammer_provers.ML"
ML_file "Tools/Sledgehammer/sledgehammer_minimize.ML"
ML_file "Tools/Sledgehammer/sledgehammer_mepo.ML"