From 6c5608acde0a9bbaa3e2f7317b9b5cf2de2699cd Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Sep 2020 14:55:07 +0200
Subject: fix ide/.merlin

---
 ide/.merlin.in | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'ide')

diff --git a/ide/.merlin.in b/ide/.merlin.in
index b8d7953833..50816ae3f5 100644
--- a/ide/.merlin.in
+++ b/ide/.merlin.in
@@ -1,8 +1,10 @@
 PKG unix laglgtk3 lablgtk3-sourceview3 
 
-S utils
-B utils
-S protocol
-B protocol
+S coqide/utils
+B coqide/utils
+S coqide/protocol
+B coqide/protocol
+S coqide/
+B coqide/
 
 REC
-- 
cgit v1.2.3