src/HOL/Tools/SMT/smt_translate.ML
changeset 41198 aa627a799e8e
parent 41197 edab1efe0a70
parent 41194 9796e5e01b61
child 41224 8a104c2a186f
child 41232 4ea9f2a8c093
     1.1 --- a/src/HOL/Tools/SMT/smt_translate.ML	Thu Dec 16 13:34:28 2010 +0100
     1.2 +++ b/src/HOL/Tools/SMT/smt_translate.ML	Thu Dec 16 13:54:17 2010 +0100
     1.3 @@ -588,7 +588,7 @@
     1.4    type T = (Proof.context -> config) U.dict
     1.5    val empty = []
     1.6    val extend = I
     1.7 -  val merge = U.dict_merge fst
     1.8 +  fun merge xx = U.dict_merge fst xx
     1.9  )
    1.10  
    1.11  fun add_config (cs, cfg) = Configs.map (U.dict_update (cs, cfg))