diff options
Diffstat (limited to 'lib/checks/write_only.ml')
| -rw-r--r-- | lib/checks/write_only.ml | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/lib/checks/write_only.ml b/lib/checks/write_only.ml index 8363703..e2c3d7e 100644 --- a/lib/checks/write_only.ml +++ b/lib/checks/write_only.ml @@ -16,16 +16,8 @@ let active = ref false let is_global = true -module Key = struct - type t = string - - let equal = String.equal - let hash = Hashtbl.hash - let compare = String.compare -end - -module StringMap = Hashtbl.Make (Key) -module Set = Set.Make (Key) +module StringMap = Hashtbl.Make (String) +module Set = Set.Make (String) type data = { write : bool; read : bool; position : S.pos list } type context = (string * data) StringMap.t |