1.1 --- a/src/Pure/sign.ML	Wed Jun 08 15:39:55 2011 +0200
     1.2 +++ b/src/Pure/sign.ML	Wed Jun 08 15:56:57 2011 +0200
     1.3 @@ -269,7 +269,7 @@
     1.4      fun typ_of (_, Const (_, T)) = T
     1.5        | typ_of (_, Free  (_, T)) = T
     1.6        | typ_of (_, Var (_, T)) = T
     1.7 -      | typ_of (bs, Bound i) = snd (nth bs i handle Subscript =>
     1.8 +      | typ_of (bs, Bound i) = snd (nth bs i handle General.Subscript =>
     1.9            raise TYPE ("Loose bound variable: B." ^ string_of_int i, [], [Bound i]))
    1.10        | typ_of (bs, Abs (x, T, body)) = T --> typ_of ((x, T) :: bs, body)
    1.11        | typ_of (bs, t $ u) =