From 074234c47ff3a99c069cad065238f3f2de2f0866 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 19 May 2015 03:10:25 +0200 Subject: [PATCH] remove warning from .merlin --- .merlin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.merlin b/.merlin index 630b1129..7ddc6d1f 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 -w -32 +FLG -w +a -w -4 -w -44 -w -32 -w -34