src/HOL/SMT/SMT_Base.thy
changeset 36084 3176ec2244ad
parent 35943 51b9155467cc
child 36884 88cf4896b980
--- 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