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

---
 ide/wg_Completion.ml | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'ide')

diff --git a/ide/wg_Completion.ml b/ide/wg_Completion.ml
index 396939cfcc..ed5e402586 100644
--- a/ide/wg_Completion.ml
+++ b/ide/wg_Completion.ml
@@ -8,17 +8,7 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
-module StringOrd =
-struct
-  type t = string
-  let compare s1 s2 =
-    (* we use first size, then usual comparison *)
-    let d = String.length s1 - String.length s2 in
-    if d <> 0 then d
-    else compare s1 s2
-end
-
-module Proposals = Set.Make(StringOrd)
+module Proposals = CString.Set
 
 (** Retrieve completion proposals in the buffer *)
 let get_syntactic_completion (buffer : GText.buffer) pattern accu =
-- 
cgit v1.2.3