From e9b48da3c42dbec60d23803940c2e0e457d579b6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 6 Dec 2000 11:32:13 +0000
Subject: Retrait list_except_assoc qui existe en standard dans ocaml
 (remove_assoc)

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

(limited to 'lib')

diff --git a/lib/util.ml b/lib/util.ml
index 429c1666e0..def2d13f5c 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -246,13 +246,6 @@ let list_share_tails l1 l2 =
   in 
   shr_rev [] (List.rev l1, List.rev l2)
 
-let list_except_assoc e = 
-  let rec except_e = function
-    | [] -> []
-    | (x,_ as y)::l -> if x=e then l else y::except_e l
-  in 
-  except_e 
-
 let list_join_map f l = List.flatten (List.map f l)
 
 let list_try_find f = 
diff --git a/lib/util.mli b/lib/util.mli
index 58e356c0d2..1cb05ad6f1 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -77,7 +77,6 @@ val list_map_append : ('a -> 'b list) -> 'a list -> 'b list
 (* raises [Invalid_argument] if the two lists don't have the same length *)
 val list_map_append2 : ('a -> 'b -> 'c list) -> 'a list -> 'b list -> 'c list
 val list_share_tails : 'a list -> 'a list -> 'a list * 'a list * 'a list
-val list_except_assoc : 'a -> ('a * 'b) list -> ('a * 'b) list
 val list_join_map : ('a -> 'b list) -> 'a list -> 'b list
 val list_try_find : ('a -> 'b) -> 'a list -> 'b
 
-- 
cgit v1.2.3