diff -r e8c9755fd14e -r 06689dbfe072 src/HOL/Sledgehammer.thy
--- a/src/HOL/Sledgehammer.thy	Mon Feb 18 11:33:43 2013 +0100
+++ b/src/HOL/Sledgehammer.thy	Mon Feb 18 12:16:02 2013 +0100
@@ -11,6 +11,7 @@
 keywords "sledgehammer" :: diag and "sledgehammer_params" :: thy_decl
 begin
 
+
 ML_file "Tools/Sledgehammer/async_manager.ML"
 ML_file "Tools/Sledgehammer/sledgehammer_util.ML"
 ML_file "Tools/Sledgehammer/sledgehammer_fact.ML"