src/HOL/Tools/meson.ML
changeset 38806 0aafc7e81056
parent 38802 a925c0ee42f7
child 38864 4abe644fcea5
     1.1 --- a/src/HOL/Tools/meson.ML	Fri Aug 27 17:09:18 2010 +0200
     1.2 +++ b/src/HOL/Tools/meson.ML	Fri Aug 27 17:11:29 2010 +0200
     1.3 @@ -48,7 +48,7 @@
     1.4  fun trace_msg msg = if ! trace then tracing (msg ()) else ();
     1.5  
     1.6  val max_clauses_default = 60;
     1.7 -val (max_clauses, setup) = Attrib.config_int "max_clauses" (K max_clauses_default);
     1.8 +val (max_clauses, setup) = Attrib.config_int "meson_max_clauses" (K max_clauses_default);
     1.9  
    1.10  (*No known example (on 1-5-2007) needs even thirty*)
    1.11  val iter_deepen_limit = 50;