1 files changed, 2 insertions, 2 deletions
diff --git a/.merlin b/.merlin
index d60f5037b..404a7e793 100644
--- a/.merlin
+++ b/.merlin
@@ -10,8 +10,6 @@ S kernel
 B kernel
 S kernel/byterun
 B kernel/byterun
-S intf
-B intf
 S library
 B library
 S engine
@@ -34,6 +32,8 @@ S vernac
 B vernac
 S toplevel
 B toplevel
+S topbin
+B topbin
 S plugins/ltac
 B plugins/ltac
 S API