src/HOL/Tools/SMT/smt_normalize.ML
changeset 41072 9f9bc1bdacef
parent 41059 d2b1fc1b8e19
child 41126 e0bd443c0fdd
     1.1 --- a/src/HOL/Tools/SMT/smt_normalize.ML	Tue Dec 07 21:58:36 2010 +0100
     1.2 +++ b/src/HOL/Tools/SMT/smt_normalize.ML	Wed Dec 08 08:33:02 2010 +0100
     1.3 @@ -582,10 +582,10 @@
     1.4  
     1.5  (* setup *)
     1.6  
     1.7 -val setup =
     1.8 +val setup = Context.theory_map (
     1.9    setup_bool_case #>
    1.10    setup_nat_as_int #>
    1.11    setup_unfolded_quants #>
    1.12 -  setup_atomize
    1.13 +  setup_atomize)
    1.14  
    1.15  end