1 files changed, 2 insertions, 1 deletions
diff --git a/.merlin b/.merlin
index 3b8cebea..7d00b00d 100644
--- a/.merlin
+++ b/.merlin
@@ -1,3 +1,4 @@
+FLG -w -3
 FLG -w -26
 FLG -w -32
 
@@ -8,4 +9,4 @@ S src/lem_interp/**
 S src/pprint/**
 S src/test/**
 B src/_build/**
-PKG num str unix uint zarith
-\ No newline at end of file
+PKG num str unix uint zarith linksem lem
+\ No newline at end of file