From 8fc2509f354b02ec4e0a3eb6fabc329109686c47 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Wed, 5 Mar 2014 16:50:04 +0100
Subject: Remove some dead-code (thanks to ocaml warnings)

 The removed code isn't used locally and isn't exported in the signature
---
 kernel/names.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/names.ml')

diff --git a/kernel/names.ml b/kernel/names.ml
index 3de12b1bc3..f4779acb6f 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -431,7 +431,6 @@ module KerPair = struct
     | Dual (kn,_) -> kn
 
   let same kn = Same kn
-  let dual knu knc = Dual (knu,knc)
   let make knu knc = if knu == knc then Same knc else Dual (knu,knc)
 
   let make1 = same
@@ -726,7 +725,6 @@ let label = KerName.label
 let string_of_kn = KerName.to_string
 let pr_kn = KerName.print
 let kn_ord = KerName.compare
-let kn_equal = KerName.equal
 
 (** Compatibility layer for [Constant] *)
 
-- 
cgit v1.2.3