src/Pure/variable.ML
changeset 37145 01aa36932739
parent 36620 e6bb250402b5
child 38831 4933a3dfd745
     1.1 --- a/src/Pure/variable.ML	Thu May 27 15:28:23 2010 +0200
     1.2 +++ b/src/Pure/variable.ML	Thu May 27 17:41:27 2010 +0200
     1.3 @@ -168,7 +168,7 @@
     1.4      (case Vartab.lookup types xi of
     1.5        NONE =>
     1.6          if pattern then NONE
     1.7 -        else Vartab.lookup binds xi |> Option.map (TypeInfer.polymorphicT o #1)
     1.8 +        else Vartab.lookup binds xi |> Option.map (Type_Infer.polymorphicT o #1)
     1.9      | some => some)
    1.10    end;
    1.11