src/HOL/Tools/recfun_codegen.ML

--- a/src/HOL/Tools/recfun_codegen.ML	Mon May 04 14:49:50 2009 +0200
+++ b/src/HOL/Tools/recfun_codegen.ML	Mon May 04 14:49:51 2009 +0200
@@ -59,7 +59,7 @@
       |> expand_eta thy
       |> map (AxClass.overload thy)
       |> map_filter (meta_eq_to_obj_eq thy)
-      |> Code_Unit.norm_varnames thy Code_Name.purify_tvar Code_Name.purify_var
+      |> Code_Unit.norm_varnames thy
       |> map (rpair opt_name)
   in if null thms then NONE else SOME thms end;