made SML/NJ happy
authorboehmes
Fri Jan 07 09:26:27 2011 +0100 (2011-01-07)
changeset 41438272fe1f37b65
parent 41437 5bc117c382ec
child 41439 a31c451183e6
made SML/NJ happy
src/HOL/Tools/SMT/smt_config.ML
     1.1 --- a/src/HOL/Tools/SMT/smt_config.ML	Thu Jan 06 17:40:38 2011 -0800
     1.2 +++ b/src/HOL/Tools/SMT/smt_config.ML	Fri Jan 07 09:26:27 2011 +0100
     1.3 @@ -138,7 +138,8 @@
     1.4  fun solver_options_of ctxt =
     1.5    let
     1.6      fun all_options NONE = []
     1.7 -      | all_options (SOME ({options, ...}, opts)) = opts @ options ctxt
     1.8 +      | all_options (SOME ({options, ...} : solver_info, opts)) =
     1.9 +          opts @ options ctxt
    1.10    in solver_info_of (K []) all_options ctxt end
    1.11  
    1.12  val setup_solver =