1.1 --- a/src/Pure/Syntax/type_annotation.ML	Wed Jul 17 12:41:59 2013 +0900
     1.2 +++ b/src/Pure/Syntax/type_annotation.ML	Wed Jul 17 21:04:38 2013 +0200
     1.3 @@ -51,12 +51,12 @@
     1.4  fun fastype_of Ts (t $ u) =
     1.5        (case dest_fun false (fastype_of Ts t) of
     1.6          SOME T => T
     1.7 -      | NONE => raise TERM ("fasfastype_of: expected function type", [t $ u]))
     1.8 +      | NONE => raise TERM ("fastype_of: expected function type", [t $ u]))
     1.9    | fastype_of _ (Const (_, T)) = T
    1.10    | fastype_of _ (Free (_, T)) = T
    1.11    | fastype_of _ (Var (_, T)) = T
    1.12    | fastype_of Ts (Bound i) =
    1.13 -      (nth Ts i handle General.Subscript => raise TERM ("fasfastype_of: Bound", [Bound i]))
    1.14 +      (nth Ts i handle General.Subscript => raise TERM ("fastype_of: Bound", [Bound i]))
    1.15    | fastype_of Ts (Abs (_, T, u)) = T --> fastype_of (T :: Ts) u;
    1.16  
    1.17  end;