diff options
Diffstat (limited to 'checklink/Library.ml')
-rw-r--r-- | checklink/Library.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checklink/Library.ml b/checklink/Library.ml index 2c7a3377..c38c1f10 100644 --- a/checklink/Library.ml +++ b/checklink/Library.ml @@ -6,6 +6,7 @@ type bitstring = Bitstring.bitstring module IntMap = Map.Make(struct type t = int let compare = compare end) module StringMap = Map.Make (String) +module StringSet = Set.Make (String) let is_some: 'a option -> bool = function | Some(_) -> true |