diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-08 13:23:45 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-08 13:23:45 +0100 |
| commit | eb07b360f437c463a9362982a66a1a835c3054f0 (patch) | |
| tree | 20b77b7eefd3e492929f83e4f2f1b80f87f11437 /coq/coq-smie.el | |
| parent | 16eb594c8145436e07e2209a9b8d029d458a289e (diff) | |
Fixing outdenting in ";" indetation.
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 e56366d5..9a3b5af2 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -931,7 +931,7 @@ KIND is the situation and TOKEN is the thing w.r.t which the rule applies." ((and (equal token "; tactic") (not (coq-smie-is-ltacdef)) (not (smie-rule-parent-p "; tactic"))) ;; Let us find either a dot of Ltac definition start. - (smie-rule-parent coq-indent-semicolon-tactical)) + coq-indent-semicolon-tactical) ; "as" tactical is not idented correctly ((equal token "in let") (smie-rule-parent)) |