src/HOL/Tools/datatype_codegen.ML
changeset 18386 e6240d62a7e6
parent 18379 87cb7e641ba5
child 18451 5ff0244e25e8
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Mon Dec 12 15:37:05 2005 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Mon Dec 12 15:37:35 2005 +0100
     1.3 @@ -356,8 +356,6 @@
     1.4      ("datatype", CodegenPackage.defgen_datatype get_datatype get_datacons),
     1.5    CodegenPackage.add_defgen
     1.6      ("datacons", CodegenPackage.defgen_datacons get_datacons),
     1.7 -  CodegenPackage.add_defgen
     1.8 -    ("dataeq", CodegenPackage.defgen_datatype_eqinst get_datatype),
     1.9    CodegenPackage.add_appgen
    1.10      ("case", CodegenPackage.appgen_case get_case_const_data)
    1.11  ];