# HG changeset patch
# User haftmann
# Date 1163606747 -3600
# Node ID 9d8344cf029f48dcffbd5376fdc3e7ca9071ee03
# Parent  5d3d340cb783801629e80fa8fa46b577e610b863
corrected polymorphism check

diff -r 5d3d340cb783 -r 9d8344cf029f 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;