src/HOL/Tools/SMT/smt_normalize.ML

--- a/src/HOL/Tools/SMT/smt_normalize.ML	Tue Dec 07 21:58:36 2010 +0100
+++ b/src/HOL/Tools/SMT/smt_normalize.ML	Wed Dec 08 08:33:02 2010 +0100
@@ -582,10 +582,10 @@
 
 (* setup *)
 
-val setup =
+val setup = Context.theory_map (
   setup_bool_case #>
   setup_nat_as_int #>
   setup_unfolded_quants #>
-  setup_atomize
+  setup_atomize)
 
 end