From 81691ff03d8a13185a829d9975c59e0f5ebdd6aa Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sat, 27 Feb 2016 11:16:24 -0500
Subject: Add uconstr to the (ltac constr) list in SMIE

---
 coq/coq-smie.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq/coq-smie.el')

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index be84478a..805d081b 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -548,7 +548,7 @@ The point should be at the beginning of the command name."
       (forward-char -1)
       (if (looking-at "{") "{ subproof" "} subproof"))
 
-     ((and (equal tok ":") (looking-back "\\<\\(constr\\|ltac\\)"))
+     ((and (equal tok ":") (looking-back "\\<\\(constr\\|ltac\\|uconstr\\)"))
       ": ltacconstr")
 
      ((equal tok ":=")
-- 
cgit v1.2.3