diff --git a/src/util/Util.ml b/src/util/Util.ml
index 8edc454f..678317b2 100644
--- a/src/util/Util.ml
+++ b/src/util/Util.ml
@@ -60,3 +60,4 @@ module Int_set = CCSet.Make (CCInt)
 module Int_map = CCMap.Make (CCInt)
 module Int_tbl = CCHashtbl.Make (CCInt)
 module Str_tbl = CCHashtbl.Make (CCString)
+module Str_map = CCMap.Make (CCString)
diff --git a/src/util/Util.mli b/src/util/Util.mli
index 6ef63b4e..5b785698 100644
--- a/src/util/Util.mli
+++ b/src/util/Util.mli
@@ -25,3 +25,4 @@ module Int_set : CCSet.S with type elt = int
 module Int_map : CCMap.S with type key = int
 module Int_tbl : CCHashtbl.S with type key = int
 module Str_tbl : CCHashtbl.S with type key = string
+module Str_map : CCMap.S with type key = string