1 files changed, 2 insertions, 0 deletions

diff --git a/.merlin b/.merlin
index 7279a098e..7410e601b 100644
--- a/.merlin
+++ b/.merlin
@@ -4,6 +4,8 @@ S ltac
 B ltac
 S config
 B config
+S ide
+B ide
 S lib
 B lib
 S intf