src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML	Tue Feb 23 16:25:08 2016 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML	Tue Feb 23 16:41:14 2016 +0100
@@ -412,4 +412,4 @@
      preferred_methss = preferred_methss, run_time = run_time, message = message}
   end
 
-end;
\ No newline at end of file
+end;