src/HOL/Wellfounded_Recursion.thy

--- a/src/HOL/Wellfounded_Recursion.thy	Wed Jul 12 00:34:54 2006 +0200
+++ b/src/HOL/Wellfounded_Recursion.thy	Wed Jul 12 17:00:22 2006 +0200
@@ -292,7 +292,7 @@
 *}
 
 setup {*
-  CodegenPackage.add_appconst ("wfrec", ((3, 3), CodegenPackage.appgen_wfrec))
+  CodegenPackage.add_appconst ("wfrec", CodegenPackage.appgen_wfrec)
 *}
 
 code_constapp