From d619f795a7ffcd46ae6d3eea022f9520cc72ad3d Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Fri, 7 Dec 2007 17:02:48 +0000
Subject: Util.option_compare devient Option.Misc.Compare et change un peu de
 type ( ('a -> 'b -> bool) -> 'a option -> 'b option -> bool devient la même
 chose mais avec 'a='b ) et de contenu pour avoir une sémantique plus claire.

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

(limited to 'lib/util.mli')

diff --git a/lib/util.mli b/lib/util.mli
index 331363f0ae..88b246a72b 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -223,7 +223,6 @@ val intmap_inv : 'a Intmap.t -> 'a -> int list
 
 val interval : int -> int -> int list
 
-val option_compare : ('a -> 'b -> bool) -> 'a option -> 'b option -> bool 
 
 (* In [map_succeed f l] an element [a] is removed if [f a] raises *)
 (* [Failure _] otherwise behaves as [List.map f l] *)
-- 
cgit v1.2.3