1 files changed, 5 insertions, 1 deletions
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