changeset 36001 | 992839c4be90 |
parent 35870 | 05f3af00cc7e |
child 36603 | d5d6111761a6 |
--- a/src/HOL/Tools/meson.ML Sun Mar 28 16:13:29 2010 +0200 +++ b/src/HOL/Tools/meson.ML Sun Mar 28 16:59:06 2010 +0200 @@ -48,7 +48,7 @@ fun trace_msg msg = if ! trace then tracing (msg ()) else (); val max_clauses_default = 60; -val (max_clauses, setup) = Attrib.config_int "max_clauses" max_clauses_default; +val (max_clauses, setup) = Attrib.config_int "max_clauses" (K max_clauses_default); val disj_forward = @{thm disj_forward}; val disj_forward2 = @{thm disj_forward2};