src/Pure/variable.ML

--- a/src/Pure/variable.ML	Sun Sep 12 19:55:45 2010 +0200
+++ b/src/Pure/variable.ML	Sun Sep 12 20:47:47 2010 +0200
@@ -168,7 +168,7 @@
     (case Vartab.lookup types xi of
       NONE =>
         if pattern then NONE
-        else Vartab.lookup binds xi |> Option.map (Type_Infer.polymorphicT o #1)
+        else Vartab.lookup binds xi |> Option.map (Type.mark_polymorphic o #1)
     | some => some)
   end;