# HG changeset patch
# User wenzelm
# Date 1282921889 -7200
# Node ID 0aafc7e81056884a144898615a0c12af63c5f788
# Parent  b09d8603f865f6d1047541aec97e58f94e28f595
more appropriate name for configuration option "meson_max_clauses" (cf. output of 'pront_configs');

diff -r b09d8603f865 -r 0aafc7e81056 src/HOL/Tools/meson.ML
--- 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;