diff options
| -rw-r--r-- | lib/util.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/lib/util.ml b/lib/util.ml index 5c56fbf9b6..48de0387e6 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -682,13 +682,6 @@ let list_eq_set l1 l2 = let list_for_all2eq f l1 l2 = try List.for_all2 f l1 l2 with Failure _ -> false -let list_map_i f = - let rec map_i_rec i = function - | [] -> [] - | x::l -> let v = f i x in v::map_i_rec (i+1) l - in - map_i_rec - let list_filter_i p = let rec filter_i_rec i = function | [] -> [] |