--- a/src/HOL/Product_Type.thy Thu Dec 29 15:30:52 2005 +0100
+++ b/src/HOL/Product_Type.thy Thu Dec 29 15:31:10 2005 +0100
@@ -861,10 +861,10 @@
val prod_codegen_setup = [
Codegen.add_codegen "let_codegen" let_codegen,
Codegen.add_codegen "split_codegen" split_codegen,
- CodegenPackage.add_appgen
- ("let", CodegenPackage.appgen_let strip_abs),
- CodegenPackage.add_appgen
- ("split", CodegenPackage.appgen_split strip_abs)
+ CodegenPackage.add_appconst
+ ("Let", ((2, 2), CodegenPackage.appgen_let strip_abs)),
+ CodegenPackage.add_appconst
+ ("split", ((1, 1), CodegenPackage.appgen_split strip_abs))
];
end;