# HG changeset patch
# User haftmann
# Date 1138720551 -3600
# Node ID 378c0cb028a83cdda1bae953a088ef66bf561c13
# Parent  31aed965135c36a51645ea1b832df94c3d901d36
minor change to CodegenPackage interface

diff -r 31aed965135c -r 378c0cb028a8 src/HOL/Tools/datatype_codegen.ML
--- 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;