changeset 37145 | 01aa36932739 |
parent 36620 | e6bb250402b5 |
child 38831 | 4933a3dfd745 |
--- 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;