# HG changeset patch
# User haftmann
# Date 1134398255 -3600
# Node ID e6240d62a7e65d48c8fdbcd947090cb3a4a6c150
# Parent  d0071d93978e1ef45fb3cc766e070bc5cef26206
improvement in eq handling

diff -r d0071d93978e -r e6240d62a7e6 src/HOL/Tools/datatype_codegen.ML
--- a/src/HOL/Tools/datatype_codegen.ML	Mon Dec 12 15:37:05 2005 +0100
+++ b/src/HOL/Tools/datatype_codegen.ML	Mon Dec 12 15:37:35 2005 +0100
@@ -356,8 +356,6 @@
     ("datatype", CodegenPackage.defgen_datatype get_datatype get_datacons),
   CodegenPackage.add_defgen
     ("datacons", CodegenPackage.defgen_datacons get_datacons),
-  CodegenPackage.add_defgen
-    ("dataeq", CodegenPackage.defgen_datatype_eqinst get_datatype),
   CodegenPackage.add_appgen
     ("case", CodegenPackage.appgen_case get_case_const_data)
 ];