1 files changed, 1 insertions, 7 deletions
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)