disable warning 32 (unused val) in .merlin

This commit is contained in:
Simon Cruanes 2015-04-28 11:00:15 +02:00
parent fe1f4f653a
commit de4ee9ce61

View file

@ -32,4 +32,4 @@ PKG threads
PKG threads.posix PKG threads.posix
PKG lwt PKG lwt
PKG bigarray PKG bigarray
FLG -w +a -w -4 -w -44 FLG -w +a -w -4 -w -44 -w -32