From 799b4028834c1b073db8349bf75e384750fed591 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Sat, 25 Jun 2016 15:58:19 +0200
Subject: [merlin] Fix .merlin STM includes.

---
 .merlin | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to '.merlin')

diff --git a/.merlin b/.merlin
index 91dbc336b..7ae642233 100644
--- a/.merlin
+++ b/.merlin
@@ -1,4 +1,4 @@
-FLG -rectypes
+FLG -rectypes -thread
 
 S config
 B config
@@ -26,6 +26,8 @@ S printing
 B printing
 S parsing
 B parsing
+S stm
+B stm
 S toplevel
 B toplevel
 
@@ -35,3 +37,5 @@ S tools/coqdoc
 B tools/coqdoc
 S dev
 B dev
+
+PKG threads.posix
-- 
cgit v1.2.3