From cf236dc90b7e091da0929df055c88e0093a70f41 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Sun, 24 Aug 2014 08:59:17 +0200
Subject: Silence some OCaml warnings

---
 src/_tags | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/_tags b/src/_tags
index d9bf28d8..f188b454 100644
--- a/src/_tags
+++ b/src/_tags
@@ -6,3 +6,6 @@ true: -traverse, debug
 # see http://caml.inria.fr/mantis/view.php?id=4943
 <lem_interp/*> and not <lem_interp/*.cmxa>: use_nums, use_lem
 <test/*> and not <test/*.cmxa>: use_nums, use_lem, use_str
+
+# disable partial match and unused variable warnings
+<**/*.ml>: warn_p, warn_y
-- 
cgit v1.2.3