changeset 39003 | c2aebd79981f |
parent 38998 | f11a861e0061 |
child 39004 | f1b465f889b5 |
--- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML Wed Sep 01 22:31:45 2010 +0200 +++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML Wed Sep 01 22:33:31 2010 +0200 @@ -308,7 +308,7 @@ val ctxt' = ctxt |> change_dir dir - |> Config.put Sledgehammer.measure_runtime true + |> Config.put Sledgehammer.measure_run_time true val params as {full_types, relevance_thresholds, max_relevant, ...} = Sledgehammer_Isar.default_params thy [("timeout", Int.toString timeout ^ " s")]