From b1cc57b2fe40d41a3abfcf7f45d028a27ad2c7f7 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 29 Nov 2017 14:37:07 +0100
Subject: [PATCH] update warnings

---
 _tags | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/_tags b/_tags
index e0f0e2f1..89d3e6b6 100644
--- a/_tags
+++ b/_tags
@@ -157,6 +157,7 @@ true: annot, bin_annot
 <src/threads/*.ml{,i}>: thread
 <src/core/CCVector.cmx> or <src/core/CCString.cmx>: inline(25)
 <src/data/CCFlatHashtbl.cm*> or <src/data/CCHashTrie.cm*> or <src/data/CCPersistent*>: inline(15)
-<src/**/*.ml> and not <src/misc/*.ml>: warn_A, warn(-4), warn(-44)
+<src/core/CCMap.*> or <src/core/CCSet.*>: warn(-32)
+<src/**/*.ml> and not <src/misc/*.ml>: warn(+a-4-44-58-60@8)
 true: no_alias_deps, safe_string, short_paths
 <src/**/*Labels.cm*>: nolabels