summaryrefslogtreecommitdiff
path: root/lex
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2016-01-12 23:53:59 +0100
committeralainfrisch <alain@frisch.fr>2016-07-18 10:35:19 +0200
commit32f0e2120ccf80eb47509436da5c75b12691614c (patch)
tree0482bcb5ab2ecacb208ccd46590e25cb67a4b287 /lex
parent18cd8a6c0123e4ba6e7858d5bf2e7ed1e86316ef (diff)
downloadocaml-32f0e2120ccf80eb47509436da5c75b12691614c.tar.gz
Detect unused module declarations.
Diffstat (limited to 'lex')
-rw-r--r--lex/lexgen.ml3
1 files changed, 0 insertions, 3 deletions
diff --git a/lex/lexgen.ml b/lex/lexgen.ml
index 9731dd7127..4054f27cc7 100644
--- a/lex/lexgen.ml
+++ b/lex/lexgen.ml
@@ -95,9 +95,6 @@ module TagMap =
module IdSet =
Set.Make (struct type t = ident let compare = id_compare end)
-module IdMap =
- Map.Make (struct type t = ident let compare = id_compare end)
-
(*********************)
(* Variable cleaning *)
(*********************)