diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-27 11:16:24 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-27 11:17:02 -0500 |
| commit | 81691ff03d8a13185a829d9975c59e0f5ebdd6aa (patch) | |
| tree | b9036c4acb5de98d5a8d4d29b5a37512aeaa2819 /coq/coq-smie.el | |
| parent | 4f049b0ba492e1b7ba8ca645fa4ca14cc9497a5c (diff) | |
Add uconstr to the (ltac constr) list in SMIE
Diffstat (limited to 'coq/coq-smie.el')
| -rw-r--r-- | coq/coq-smie.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 ":=") |