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