From c9b8a19b79cccb529799e8370f432506faf4a3e2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 26 Nov 2002 11:45:42 +0000
Subject: Ajout list_map_assoc

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

(limited to 'lib/util.ml')

diff --git a/lib/util.ml b/lib/util.ml
index 441cf3744a..1d020b516b 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -329,6 +329,8 @@ let list_fold_map f e l =
     (e',List.rev lrev)
 *)
 
+let list_map_assoc f = List.map (fun (x,a) -> (x,f a))
+
 (* Arrays *)
 
 let array_exists f v = 
-- 
cgit v1.2.3