From a77734ad64fff2396b161308099923037fb5d8a1 Mon Sep 17 00:00:00 2001 From: Gaetan Gilbert 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