Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/datatype_codegen.ML
changeset 20439 1bf42b262a38
parent 20435 d2a30fed7596
child 20597 65fe827aa595 
--- a/src/HOL/Tools/datatype_codegen.ML	Wed Aug 30 12:28:39 2006 +0200
+++ b/src/HOL/Tools/datatype_codegen.ML	Wed Aug 30 15:11:17 2006 +0200
@@ -426,7 +426,7 @@
   let
     val {case_name, index, descr, ...} = DatatypePackage.the_datatype thy dtco;
   in
-    CodegenPackage.add_appconst_i (case_name, CodegenPackage.appgen_case dest_case_expr) thy
+    CodegenPackage.add_appconst (case_name, CodegenPackage.appgen_case dest_case_expr) thy
   end;
 
 fun add_datatype_case_defs dtco thy =
isabelle