diff options
| -rw-r--r-- | coq/coq-smie-lexer.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-smie-lexer.el b/coq/coq-smie-lexer.el index c40adda8..c9216bbe 100644 --- a/coq/coq-smie-lexer.el +++ b/coq/coq-smie-lexer.el @@ -15,7 +15,7 @@ ;; - We distinguish "with match" from other "with". (require 'coq-indent) -(require 'smie) +(require 'smie nil 'noerror) (defconst coq-smie-dot-friends '("*." "-*." "|-*." "*|-*.")) |