From f3fb2f21646f257c0dd030a8411bafd80ea9d0bd Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 13 Mar 2020 04:55:49 -0400
Subject: [cleanup] Remove unnecessary Map/Set module creation

---
 proofs/goal.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs')

diff --git a/proofs/goal.ml b/proofs/goal.ml
index 4759c0860f..1883f857f7 100644
--- a/proofs/goal.ml
+++ b/proofs/goal.ml
@@ -131,4 +131,4 @@ module V82 = struct
 
 end
 
-module Set = Set.Make(struct type t = goal let compare = Evar.compare end)
+module Set = Evar.Set
-- 
cgit v1.2.3