diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-03-27 15:46:29 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-27 15:46:29 +0000 |
| commit | 605a9890bca09e9c6e24ce0e774bc7bfbd3f212e (patch) | |
| tree | bb4ef0ff1fb3d11d753c8f19501c395a7a6ea451 /coq/coq-smie.el | |
| parent | fe158afe291c2ad5786bc592fff134ef277ef86d (diff) | |
Fixed a small bug in indentation.
Diffstat (limited to 'coq/coq-smie.el')
| -rw-r--r-- | coq/coq-smie.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-smie.el b/coq/coq-smie.el index bfbc9a8f..349004ac 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -449,11 +449,11 @@ The point should be at the beginning of the command name." ; Same for ";" : record field separator, tactic combinator, etc ((equal tok ";") (save-excursion - (let ((backtok (coq-smie-search-token-backward '("." "[" "{")))) + (let ((backtok (coq-smie-search-token-backward '("." "[" "{" "Ltac")))) (cond ((equal backtok ".") "; tactic") ((equal backtok nil) - (if (or (looking-back "\\[") + (if (or (looking-back "(") (looking-back "\\[") (and (looking-back "{") (equal (coq-smie-backward-token) "{ subproof"))) ;; recursive call "; tactic" |