src/HOL/List.thy

--- a/src/HOL/List.thy	Wed Dec 21 13:25:20 2005 +0100
+++ b/src/HOL/List.thy	Wed Dec 21 15:18:17 2005 +0100
@@ -2692,4 +2692,6 @@
 
 setup list_codegen_setup
 
+setup "[CodegenPackage.rename_inconsistent]"
+
 end