From 74ddca99c649f2f8c203582a9b82bddf64fb6b52 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Tue, 22 Apr 2014 15:31:12 +0200 Subject: Removing dead code, thanks to new OCaml warnings and a bit of scripting. --- library/globnames.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'library/globnames.mli') diff --git a/library/globnames.mli b/library/globnames.mli index 0a7bf850c..5d717965e 100644 --- a/library/globnames.mli +++ b/library/globnames.mli @@ -49,12 +49,14 @@ val reference_of_constr : constr -> global_reference module RefOrdered : sig type t = global_reference val compare : t -> t -> int + val equal : t -> t -> bool val hash : t -> int end module RefOrdered_env : sig type t = global_reference val compare : t -> t -> int + val equal : t -> t -> bool val hash : t -> int end -- cgit v1.2.3