src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Thu Oct 17 01:22:15 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Thu Oct 17 01:34:34 2013 +0200
@@ -388,6 +388,7 @@
        else
          ();
        mash_learn ctxt
+           (* TODO: Use MaSh mode instead and have the special defaults hardcoded in "get_params" *)
            (get_params Normal ctxt
                 ([("timeout",
                    [string_of_real default_learn_prover_timeout]),