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;