
diff -r b356f7837921 -r a41ce9c10b73 src/HOL/Product_Type.thy
--- a/src/HOL/Product_Type.thy	Fri Dec 02 16:04:48 2005 +0100
+++ b/src/HOL/Product_Type.thy	Fri Dec 02 16:05:12 2005 +0100
@@ -868,10 +868,10 @@
 val prod_codegen_setup = [
   Codegen.add_codegen "let_codegen" let_codegen,
   Codegen.add_codegen "split_codegen" split_codegen,
-  CodegenPackage.add_codegen_expr
-    ("let", CodegenPackage.codegen_let strip_abs),
-  CodegenPackage.add_codegen_expr
-    ("split", CodegenPackage.codegen_split strip_abs)
+  CodegenPackage.add_appgen
+    ("let", CodegenPackage.appgen_let strip_abs),
+  CodegenPackage.add_appgen
+    ("split", CodegenPackage.appgen_split strip_abs)
 ];
 
 end;




