diff options
| -rw-r--r-- | coq/coq-smie-lexer.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coq/coq-smie-lexer.el b/coq/coq-smie-lexer.el index a3522b69..6a71cda8 100644 --- a/coq/coq-smie-lexer.el +++ b/coq/coq-smie-lexer.el @@ -463,7 +463,8 @@ The point should be at the beginning of the command name." (not (member (coq-smie-backward-token) ;; recursive call '("." ". proofstart" "; tactic" "[" "]" "|" - "{ subproof" "} subproof")))) + "{ subproof" "} subproof" "- bullet" "+ bullet" + "* bullet")))) "quantif exists")) ((equal tok "∀") "forall") ((equal tok "→") "->") |