diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-07 16:47:36 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-07 16:48:55 +0100 |
| commit | dc3e34dbdfc264af12d954dff42fe67dd0e1d499 (patch) | |
| tree | d5f4043435588e1bf6dfce42a6c1f023be85a7d2 /coq/coq-smie.el | |
| parent | a608501960ce8b00d42840f779ae7983b8363c86 (diff) | |
Fixed indentation of ";" tactical.
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 ab825ec8..469a91cc 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -922,7 +922,7 @@ KIND is the situation and TOKEN is the thing w.r.t which the rule applies." ((equal token "; tactic") (cond ((smie-rule-parent-p "; tactic") (smie-rule-separator kind)) - (t (smie-rule-parent coq-indent-semicolon-tactical)))) + (t coq-indent-semicolon-tactical))) ; "as" tactical is not idented correctly ((equal token "in let") (smie-rule-parent)) |