# HG changeset patch
# User wenzelm
# Date 1256226887 -7200
# Node ID 2f6ce3b9ec394029b45c4e6c43be644cd8b4c575
# Parent  ae416aebbb75a325407dd15177872c5baa6ff768
made SML/NJ happy;

diff -r ae416aebbb75 -r 2f6ce3b9ec39 src/Pure/library.ML
--- 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;