From e9c20b9b219da4ad8aa7d6990a3cb99069907062 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 3 Nov 2016 17:55:57 +0100 Subject: [PATCH] .merlin --- .merlin | 1 - 1 file changed, 1 deletion(-) diff --git a/.merlin b/.merlin index f9975114..873a7262 100644 --- a/.merlin +++ b/.merlin @@ -24,7 +24,6 @@ PKG threads.posix PKG lwt PKG bigarray PKG sequence -PKG hamt PKG gen PKG qcheck FLG -w +a -w -4 -w -44