From a77734ad64fff2396b161308099923037fb5d8a1 Mon Sep 17 00:00:00 2001
From: Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr>
Date: Mon, 24 Apr 2017 13:43:23 +0200
Subject: Enable more warnings, and add -warn-error configure flag

---
 .merlin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.merlin')

diff --git a/.merlin b/.merlin
index 5cae15f5f..f91e1b8fd 100644
--- a/.merlin
+++ b/.merlin
@@ -1,4 +1,4 @@
-FLG -rectypes -thread -safe-string
+FLG -rectypes -thread -safe-string -w +a-4-9-27-41-42-44-45-48-50
 
 S ltac
 B ltac
-- 
cgit v1.2.3