From 7b7187ab30c945f7929299833a92ee01737519a6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Mon, 3 Mar 2014 03:42:49 +0100
Subject: Goptions do not rely anymore on generic equality.

---
 library/goptions.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'library/goptions.mli')

diff --git a/library/goptions.mli b/library/goptions.mli
index 1fa63899b..6f23cf5ea 100644
--- a/library/goptions.mli
+++ b/library/goptions.mli
@@ -89,6 +89,7 @@ module MakeRefTable :
   functor
     (A : sig
            type t
+           val compare : t -> t -> int
            val encode : reference -> t
 	   val subst : substitution -> t -> t
            val printer : t -> std_ppcmds
-- 
cgit v1.2.3