From 2198b0b28a396377ed8f885eddf6bc752af9c580 Mon Sep 17 00:00:00 2001
From: Matej Kosik <matej.kosik@inria.fr>
Date: Thu, 2 Feb 2017 11:18:26 +0100
Subject: refactoring "Names.DirPath.compare" function

---
 kernel/names.ml | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'kernel/names.ml')

diff --git a/kernel/names.ml b/kernel/names.ml
index da02a32a2..b91fa758f 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -162,17 +162,7 @@ module DirPath =
 struct
   type t = module_ident list
 
-  let rec compare (p1 : t) (p2 : t) =
-    if p1 == p2 then 0
-    else begin match p1, p2 with
-    | [], [] -> 0
-    | [], _ -> -1
-    | _, [] -> 1
-    | id1 :: p1, id2 :: p2 ->
-      let c = Id.compare id1 id2 in
-      if Int.equal c 0 then compare p1 p2 else c
-    end
-
+  let compare = List.compare Id.compare
   let equal = List.equal Id.equal
 
   let rec hash accu = function
-- 
cgit v1.2.3