src/HOL/Tools/datatype_codegen.ML
changeset 18702 7dc7dcd63224
parent 18518 3b1dfa53e64f
child 18708 4b3dadb4fe33
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Tue Jan 17 10:26:50 2006 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Tue Jan 17 16:36:57 2006 +0100
     1.3 @@ -306,8 +306,6 @@
     1.4      DatatypePackage.get_all_datatype_cons,
     1.5    CodegenPackage.add_defgen
     1.6      ("datatype", CodegenPackage.defgen_datatype DatatypePackage.get_datatype DatatypePackage.get_datatype_cons),
     1.7 -  CodegenPackage.add_defgen
     1.8 -    ("datacons", CodegenPackage.defgen_datacons DatatypePackage.get_datatype_cons),
     1.9    CodegenPackage.ensure_datatype_case_consts
    1.10      DatatypePackage.get_datatype_case_consts
    1.11      DatatypePackage.get_case_const_data