Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/envir.ML
changeset 30146 a77fc0209723
parent 29269 5c25a2012975
child 32018 3370cea95387 
--- a/src/Pure/envir.ML	Fri Feb 27 16:33:11 2009 +0100
+++ b/src/Pure/envir.ML	Fri Feb 27 16:38:52 2009 +0100
@@ -265,7 +265,7 @@
       | fast Ts (Const (_, T)) = T
       | fast Ts (Free (_, T)) = T
       | fast Ts (Bound i) =
-        (List.nth (Ts, i)
+        (nth Ts i
          handle Subscript => raise TERM ("fastype: Bound", [Bound i]))
       | fast Ts (Var (_, T)) = T
       | fast Ts (Abs (_, T, u)) = T --> fast (T :: Ts) u
isabelle