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/library.ML
changeset 33073 2f6ce3b9ec39
parent 33063 4d462963a7db
child 33081 fe29679cabc2 
--- a/src/Pure/library.ML	Thu Oct 22 17:09:29 2009 +0200
+++ b/src/Pure/library.ML	Thu Oct 22 17:54:47 2009 +0200
@@ -466,7 +466,7 @@
 
 fun map_range f i =
   let
-    fun mapp k =
+    fun mapp (k: int) =
       if k < i then f k :: mapp (k + 1) else [];
   in mapp 0 end;
isabelle