diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2014-12-24 01:51:05 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-24 01:51:05 +0000 |
| commit | 304aead5d68961c4a7e6085df27c921cfd52e714 (patch) | |
| tree | 52cd35f73ea561c001181d6240072bd0861791fc /coq/coq-smie.el | |
| parent | a86143f025aaa4c62ec2621df7ebe3363c251cb4 (diff) | |
typo in indentation cod, found after testing coq/ex/indent.v.
Diffstat (limited to 'coq/coq-smie.el')
| -rw-r--r-- | coq/coq-smie.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/coq/coq-smie.el b/coq/coq-smie.el index dd0d584c..52e1aa39 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -369,13 +369,16 @@ The point should be at the beginning of the command name." ((member tok '("End")) (save-excursion (coq-smie-backward-token))) + ; empty token if a prenthesis is met. ((and (zerop (length tok)) (looking-at "{|")) (goto-char (match-end 0)) "{|") + ;; this must be after detecting "{|": ((and (zerop (length tok)) (eq (char-after) ?\{)) (if (equal (save-excursion (forward-char 1) (coq-smie-backward-token)) "{ subproof") (progn (forward-char 1) "{ subproof") tok)) + ((and (zerop (length tok)) (eq (char-after) ?\})) (if (equal (save-excursion (forward-char 1) (coq-smie-backward-token)) @@ -475,7 +478,7 @@ The point should be at the beginning of the command name." (save-excursion (forward-char -1) (let ((nxttok (coq-smie-backward-token))) ;; recursive call - (coq-is-cmdend-token tok) + (coq-is-cmdend-token nxttok) ))) (forward-char -1) (if (looking-at "{") "{ subproof" "} subproof")) |