src/Pure/Tools/codegen_package.ML

--- a/src/Pure/Tools/codegen_package.ML	Wed Nov 15 17:05:46 2006 +0100
+++ b/src/Pure/Tools/codegen_package.ML	Wed Nov 15 17:05:47 2006 +0100
@@ -602,9 +602,9 @@
 
 fun eval_term thy (ref_spec, t) =
   let
-    val _ = Term.fold_atyps (fn _ =>
+    val _ = (Term.fold_types o Term.fold_atyps) (fn _ =>
       error ("Term" ^ Sign.string_of_term thy t ^ "is polymorhpic"))
-      (Term.fastype_of t);
+      t;
     val t' = codegen_term thy t;
   in CodegenSerializer.eval_term thy (ref_spec, t') (Code.get thy) end;