summaryrefslogtreecommitdiff
path: root/toplevel/expunge.ml
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2016-03-09 11:40:16 +0100
committeralainfrisch <alain@frisch.fr>2016-03-15 22:46:35 +0100
commit502e4f9336c03e21442404fd1beba79df824d32d (patch)
tree1345561a10eb5a93d5246676b9b1a26a7b9ddadc /toplevel/expunge.ml
parentf4a29c6ca2d926fa988e1bcd3a838247932beaf8 (diff)
downloadocaml-502e4f9336c03e21442404fd1beba79df824d32d.tar.gz
More warnings when compiling the compiler.
Diffstat (limited to 'toplevel/expunge.ml')
-rw-r--r--toplevel/expunge.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml
index 47c370d896..e97d8e593b 100644
--- a/toplevel/expunge.ml
+++ b/toplevel/expunge.ml
@@ -41,7 +41,7 @@ let expunge_map tbl =
Symtable.filter_global_map (fun id -> keep (Ident.name id)) tbl
let expunge_crcs tbl =
- List.filter (fun (unit, crc) -> keep unit) tbl
+ List.filter (fun (unit, _crc) -> keep unit) tbl
let main () =
let input_name = Sys.argv.(1) in