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

---
 printing/proof_diffs.mli | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'printing/proof_diffs.mli')

diff --git a/printing/proof_diffs.mli b/printing/proof_diffs.mli
index eebdaccd32..477c0ce141 100644
--- a/printing/proof_diffs.mli
+++ b/printing/proof_diffs.mli
@@ -83,11 +83,4 @@ type hyp_info = {
   mutable done_: bool;
 }
 
-module StringMap :
-sig
-  type +'a t
-  val empty: hyp_info t
-  val add : string -> hyp_info -> hyp_info t -> hyp_info t
-end
-
-val diff_hyps : string list list -> hyp_info StringMap.t -> string list list -> hyp_info StringMap.t -> Pp.t list
+val diff_hyps : string list list -> hyp_info CString.Map.t -> string list list -> hyp_info CString.Map.t -> Pp.t list
-- 
cgit v1.2.3