Removing some lone List.assoc & List.mem in lib.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16738 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 11 deletions

diff --git a/lib/cList.ml b/lib/cList.ml
index e3d5f080be..cf2a54c4ba 100644
--- a/lib/cList.ml
+++ b/lib/cList.ml
@@ -88,7 +88,6 @@ sig
   val smartfilter : ('a -> bool) -> 'a list -> 'a list
   val index : 'a -> 'a list -> int
   val index_f : ('a -> 'a -> bool) -> 'a -> 'a list -> int
-  val unique_index : 'a -> 'a list -> int
   val index0 : 'a -> 'a list -> int
   val index0_f : ('a -> 'a -> bool) -> 'a -> 'a list -> int
   val iteri :  (int -> 'a -> unit) -> 'a list -> unit
@@ -425,16 +424,6 @@ let index x =
 
 let index0 x l = index x l - 1
 
-let unique_index x =
-  let rec index_x n = function
-    | y::l ->
-        if x = y then
-          if List.mem x l then raise Not_found
-          else n
-        else index_x (succ n) l
-    | [] -> raise Not_found
-  in index_x 1
-
 let fold_right_i f i l =
   let rec it_f i l a = match l with
     | [] -> a