src/HOL/Tools/datatype_codegen.ML
changeset 18866 378c0cb028a8
parent 18708 4b3dadb4fe33
child 18963 3adfc9dfb30a
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Tue Jan 31 16:14:37 2006 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Tue Jan 31 16:15:51 2006 +0100
     1.3 @@ -304,8 +304,8 @@
     1.4      DatatypePackage.is_datatype #>
     1.5    CodegenPackage.set_get_all_datatype_cons
     1.6      DatatypePackage.get_all_datatype_cons #>
     1.7 -  CodegenPackage.add_defgen
     1.8 -    ("datatype", CodegenPackage.defgen_datatype DatatypePackage.get_datatype DatatypePackage.get_datatype_cons) #>
     1.9 +  CodegenPackage.set_defgen_datatype
    1.10 +    (CodegenPackage.defgen_datatype_proto DatatypePackage.get_datatype DatatypePackage.get_datatype_cons) #>
    1.11    CodegenPackage.ensure_datatype_case_consts
    1.12      DatatypePackage.get_datatype_case_consts
    1.13      DatatypePackage.get_case_const_data;