From a0aa4f438836d182ed949a3a25d495cc8ecc11c2 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Mon, 4 Nov 2013 12:17:45 +0000
Subject: Evar module now uses default Int maps and sets.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17049 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/evar.ml | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

(limited to 'kernel')

diff --git a/kernel/evar.ml b/kernel/evar.ml
index 62d54027c9..0b48d4e9df 100644
--- a/kernel/evar.ml
+++ b/kernel/evar.ml
@@ -14,12 +14,5 @@ let compare = Int.compare
 let equal = Int.equal
 let hash = Int.hash
 
-module Self =
-struct
-  type _t = t
-  type t = _t
-  let compare = compare
-end
-
-module Set = Set.Make(Self)
-module Map = CMap.Make(Self)
+module Set = Int.Set
+module Map = Int.Map
-- 
cgit v1.2.3