From de4ee9ce61b437f162438c88e85b5bc092ecda28 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 28 Apr 2015 11:00:15 +0200 Subject: [PATCH] disable warning 32 (unused val) in .merlin --- .merlin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.merlin b/.merlin index 67556471..630b1129 100644 --- a/.merlin +++ b/.merlin @@ -32,4 +32,4 @@ PKG threads PKG threads.posix PKG lwt PKG bigarray -FLG -w +a -w -4 -w -44 +FLG -w +a -w -4 -w -44 -w -32