diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-27 11:15:02 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-27 11:16:58 -0500 |
| commit | 4f049b0ba492e1b7ba8ca645fa4ca14cc9497a5c (patch) | |
| tree | a8d787a5fc35d93ab90b02ffd148c4587993825b /coq/coq-smie.el | |
| parent | d5dbd0f57eb33d39b4843a9ef89ef8463c935c10 (diff) | |
Fix a typo: s/coq-modulestart-proofstart/coq-indent-proofstart/
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 20ff5b21..be84478a 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -993,7 +993,7 @@ KIND is the situation and TOKEN is the thing w.r.t which the rule applies." ;; the command terminated by ". proofstart". ((equal token ". proofstart") (save-excursion (forward-char -1) (coq-find-real-start) - `(column . ,(+ coq-indent-modulestart (current-column))))) + `(column . ,(+ coq-indent-proofstart (current-column))))) ((equal token ". modulestart") (save-excursion (forward-char -1) (coq-find-real-start) `(column . ,(+ coq-indent-modulestart (current-column))))))) |