--- a/src/HOL/SMT/SMT_Base.thy Wed Apr 07 20:40:42 2010 +0200
+++ b/src/HOL/SMT/SMT_Base.thy Wed Apr 07 20:40:42 2010 +0200
@@ -138,6 +138,6 @@
use "Tools/smt_solver.ML"
use "Tools/smtlib_interface.ML"
-setup {* SMT_Normalize.setup #> SMT_Solver.setup *}
+setup {* SMT_Solver.setup *}
end