| changeset 38806 | 0aafc7e81056 |
| parent 38802 | a925c0ee42f7 |
| child 38864 | 4abe644fcea5 |
--- a/src/HOL/Tools/meson.ML Fri Aug 27 17:09:18 2010 +0200 +++ b/src/HOL/Tools/meson.ML Fri Aug 27 17:11:29 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" (K max_clauses_default); +val (max_clauses, setup) = Attrib.config_int "meson_max_clauses" (K max_clauses_default); (*No known example (on 1-5-2007) needs even thirty*) val iter_deepen_limit = 50;