diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/evar.ml | 11 |
1 files changed, 2 insertions, 9 deletions
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 |