From ccb521e41fc784874c22a1af41e9a6cd6757181b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 3 Nov 2014 15:19:42 +0100
Subject: [PATCH] in _tags, add more warnings and stronger inlining

---
 _tags | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/_tags b/_tags
index e3b6de48..c1b52373 100644
--- a/_tags
+++ b/_tags
@@ -1,3 +1,10 @@
 <smt/*.cmx>: for-pack(Msat)
 <sat/*.cmx>: for-pack(Msat)
 
+# enable stronger inlining everywhere
+<common/**/*.cmx>: inline(15)
+<sat/**/*.cmx>: inline(10)
+<smt/**/*.cmx>: inline(10)
+
+# more warnings
+<**/*.ml>: warn_K, warn_Y, warn_X