From 74c29764359272b29af081b30762549777ae8825 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 2 Jan 2016 17:05:03 +0100
Subject: Remove some useless type declarations.

---
 library/keys.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'library/keys.ml')

diff --git a/library/keys.ml b/library/keys.ml
index 3d277476f..6b2466f3d 100644
--- a/library/keys.ml
+++ b/library/keys.ml
@@ -62,8 +62,6 @@ module Keyset = Keymap.Set
 
 (* Mapping structure for references to be considered equivalent *)
 
-type keys = Keyset.t Keymap.t
-
 let keys = Summary.ref Keymap.empty ~name:"Keys_decl"
 
 let add_kv k v m =
-- 
cgit v1.2.3