--- a/src/HOL/HOL.thy Thu Nov 19 08:25:54 2009 +0100
+++ b/src/HOL/HOL.thy Thu Nov 19 08:25:57 2009 +0100
@@ -2060,7 +2060,6 @@
setup {*
Predicate_Compile_Alternative_Defs.setup
#> Predicate_Compile_Inline_Defs.setup
- #> Predicate_Compile_Preproc_Const_Defs.setup
*}