--- a/src/HOL/Tools/Datatype/datatype.ML Tue Oct 13 14:08:00 2009 +0200
+++ b/src/HOL/Tools/Datatype/datatype.ML Tue Oct 13 14:08:01 2009 +0200
@@ -555,7 +555,6 @@
(* setup theory *)
val setup =
- simproc_setup #>
trfun_setup #>
DatatypeInterpretation.init;