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