From 67319cef77a215163032ea94f28f8c21dcf64f3a Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Thu, 20 Mar 2014 15:27:40 +0100
Subject: Missing equalities in Names-like structures.

---
 library/nametab.ml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'library/nametab.ml')

diff --git a/library/nametab.ml b/library/nametab.ml
index 08eb02c9d..03856736d 100644
--- a/library/nametab.ml
+++ b/library/nametab.ml
@@ -276,14 +276,8 @@ struct
       id, (DirPath.repr dir)
 end
 
-module ExtRefEqual =
-struct
-  type t = extended_global_reference
-  let equal e1 e2 = Int.equal (ExtRefOrdered.compare e1 e2) 0
-end
-
+module ExtRefEqual = ExtRefOrdered
 module KnEqual = Names.KerName
-
 module MPEqual = Names.ModPath
 
 module ExtRefTab = Make(FullPath)(ExtRefEqual)
-- 
cgit v1.2.3