src/HOL/Tools/datatype_codegen.ML
changeset 18518 3b1dfa53e64f
parent 18451 5ff0244e25e8
child 18702 7dc7dcd63224
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Thu Dec 29 15:30:52 2005 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Thu Dec 29 15:31:10 2005 +0100
     1.3 @@ -308,8 +308,9 @@
     1.4      ("datatype", CodegenPackage.defgen_datatype DatatypePackage.get_datatype DatatypePackage.get_datatype_cons),
     1.5    CodegenPackage.add_defgen
     1.6      ("datacons", CodegenPackage.defgen_datacons DatatypePackage.get_datatype_cons),
     1.7 -  CodegenPackage.add_appgen
     1.8 -    ("case", CodegenPackage.appgen_case DatatypePackage.get_case_const_data)
     1.9 +  CodegenPackage.ensure_datatype_case_consts
    1.10 +    DatatypePackage.get_datatype_case_consts
    1.11 +    DatatypePackage.get_case_const_data
    1.12  ];
    1.13  
    1.14  end;