1 files changed, 0 insertions, 3 deletions
diff --git a/lib/util.ml b/lib/util.ml
index 91497f3709..c2d290714b 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -55,9 +55,6 @@ let subst_command_placeholder s t =
   done;
   Buffer.contents buff
 
-module Stringset = Set.Make(String)
-module Stringmap = Map.Make(String)
-
 (* Lists *)
 
 module List : CList.ExtS = CList