more appropriate name for configuration option "meson_max_clauses" (cf. output of 'pront_configs');
authorwenzelm
Fri Aug 27 17:11:29 2010 +0200 (2010-08-27)
changeset 388060aafc7e81056
parent 38805 b09d8603f865
child 38807 378ffc903bed
more appropriate name for configuration option "meson_max_clauses" (cf. output of 'pront_configs');
src/HOL/Tools/meson.ML
     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;