diff -r b860975e47b4 -r d1499fff65d8 src/Pure/Tools/codegen_func.ML
--- a/src/Pure/Tools/codegen_func.ML	Fri Mar 30 16:19:02 2007 +0200
+++ b/src/Pure/Tools/codegen_func.ML	Fri Mar 30 16:19:03 2007 +0200
@@ -75,7 +75,7 @@
   o Drule.fconv_rule Drule.beta_eta_conversion);
 
 val mk_head = lift_thm_thy (fn thy => fn thm =>
-  ((CodegenConsts.norm_of_typ thy o fst o dest_func) thm, thm));
+  ((CodegenConsts.const_of_cexpr thy o fst o dest_func) thm, thm));
 
 local