From 9fbacf326690cd0369efb5aa96ef97398ced4237 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 8 Apr 2009 13:40:19 +0000
Subject: A first pearl found by the Oug analyzer: there were two list_map_i in
 Util

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12060 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/util.ml | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'lib')

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
     | [] -> []
-- 
cgit v1.2.3