diff -r fd6308b4df72 -r 01aa36932739 src/Pure/variable.ML
--- a/src/Pure/variable.ML	Thu May 27 15:28:23 2010 +0200
+++ b/src/Pure/variable.ML	Thu May 27 17:41:27 2010 +0200
@@ -168,7 +168,7 @@
     (case Vartab.lookup types xi of
       NONE =>
         if pattern then NONE
-        else Vartab.lookup binds xi |> Option.map (TypeInfer.polymorphicT o #1)
+        else Vartab.lookup binds xi |> Option.map (Type_Infer.polymorphicT o #1)
     | some => some)
   end;