--- a/src/HOL/HOL.thy Wed Oct 22 14:15:44 2008 +0200
+++ b/src/HOL/HOL.thy Wed Oct 22 14:15:45 2008 +0200
@@ -1692,8 +1692,7 @@
use "~~/src/HOL/Tools/recfun_codegen.ML"
setup {*
- Code_Name.setup
- #> Code_ML.setup
+ Code_ML.setup
#> Code_Haskell.setup
#> Nbe.setup
#> Codegen.setup