From 9c52d25ac0badc5ec6eb0eb897219e607c362e83 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Fri, 28 Oct 2016 11:48:46 +0200
Subject: updating ".merlin" file

---
 .merlin | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.merlin b/.merlin
index 7ae6422335..7279a098e9 100644
--- a/.merlin
+++ b/.merlin
@@ -1,5 +1,7 @@
 FLG -rectypes -thread
 
+S ltac
+B ltac
 S config
 B config
 S lib
-- 
cgit v1.2.3