src/Pure/envir.ML

--- a/src/Pure/envir.ML	Wed Jun 08 15:39:55 2011 +0200
+++ b/src/Pure/envir.ML	Wed Jun 08 15:56:57 2011 +0200
@@ -289,7 +289,7 @@
       | fast Ts (Const (_, T)) = T
       | fast Ts (Free (_, T)) = T
       | fast Ts (Bound i) =
-          (nth Ts i handle Subscript => raise TERM ("fastype: Bound", [Bound i]))
+          (nth Ts i handle General.Subscript => raise TERM ("fastype: Bound", [Bound i]))
       | fast Ts (Var (_, T)) = T
       | fast Ts (Abs (_, T, u)) = T --> fast (T :: Ts) u;
   in fast end;