src/Pure/library.ML
changeset 33073 2f6ce3b9ec39
parent 33063 4d462963a7db
child 33081 fe29679cabc2
     1.1 --- a/src/Pure/library.ML	Thu Oct 22 17:09:29 2009 +0200
     1.2 +++ b/src/Pure/library.ML	Thu Oct 22 17:54:47 2009 +0200
     1.3 @@ -466,7 +466,7 @@
     1.4  
     1.5  fun map_range f i =
     1.6    let
     1.7 -    fun mapp k =
     1.8 +    fun mapp (k: int) =
     1.9        if k < i then f k :: mapp (k + 1) else [];
    1.10    in mapp 0 end;
    1.11