1 files changed, 1 insertions, 1 deletions

diff --git a/.merlin b/.merlin
index 5c8c73851..b78f24551 100644
--- a/.merlin
+++ b/.merlin
@@ -1,4 +1,4 @@
-FLG -rectypes -thread -safe-string
+FLG -rectypes -thread -safe-string -w +a-4-9-27-41-42-44-45-48-50
 
 S ltac
 B ltac