--- a/src/HOL/Tools/datatype_codegen.ML Tue Jan 31 16:14:37 2006 +0100
+++ b/src/HOL/Tools/datatype_codegen.ML Tue Jan 31 16:15:51 2006 +0100
@@ -304,8 +304,8 @@
DatatypePackage.is_datatype #>
CodegenPackage.set_get_all_datatype_cons
DatatypePackage.get_all_datatype_cons #>
- CodegenPackage.add_defgen
- ("datatype", CodegenPackage.defgen_datatype DatatypePackage.get_datatype DatatypePackage.get_datatype_cons) #>
+ CodegenPackage.set_defgen_datatype
+ (CodegenPackage.defgen_datatype_proto DatatypePackage.get_datatype DatatypePackage.get_datatype_cons) #>
CodegenPackage.ensure_datatype_case_consts
DatatypePackage.get_datatype_case_consts
DatatypePackage.get_case_const_data;