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/libnames.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/libnames.ml')

diff --git a/library/libnames.ml b/library/libnames.ml
index cf6d4c8ad..97c352d61 100644
--- a/library/libnames.ml
+++ b/library/libnames.ml
@@ -105,7 +105,7 @@ let string_of_path sp =
 let sp_ord sp1 sp2 =
   let (p1,id1) = repr_path sp1
   and (p2,id2) = repr_path sp2 in
-  let p_bit = compare p1 p2 in
+  let p_bit = DirPath.compare p1 p2 in
   if Int.equal p_bit 0 then Id.compare id1 id2 else p_bit
 
 module SpOrdered =
-- 
cgit v1.2.3