From ca34f81acf16e672de1b67a33d3dfa234496c75a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 25 Jul 2015 00:55:41 +0200 Subject: [PATCH] fix merlin file --- .merlin | 1 + 1 file changed, 1 insertion(+) diff --git a/.merlin b/.merlin index 7ddc6d1f..5e61f14a 100644 --- a/.merlin +++ b/.merlin @@ -32,4 +32,5 @@ PKG threads PKG threads.posix PKG lwt PKG bigarray +PKG sequence FLG -w +a -w -4 -w -44 -w -32 -w -34