tuning

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML	Wed Sep 11 22:20:43 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML	Wed Sep 11 22:20:44 2013 +0200
@@ -246,7 +246,8 @@
              factss = factss}
           fun learn prover =
             mash_learn_proof ctxt params prover (prop_of goal) all_facts
-          val launch = launch_prover params mode output_result minimize_command only learn
+          val launch =
+            launch_prover params mode output_result minimize_command only learn
         in
           if mode = Auto_Try then
             (unknownN, state)