diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-08-24 12:57:56 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-08-24 12:57:56 +0000 |
commit | 4d842784d392cc86128e6a0f02085ac3505bde7e (patch) | |
tree | f3a16a0c9e2c21d457bd0465526bbf7ea20bc55f /coq | |
parent | d1dbb1bb03f777f744774b353b13b3cf2d11bf5f (diff) |
Fixed an error when smie not present in the system.
Diffstat (limited to 'coq')
-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 '("*." "-*." "|-*." "*|-*.")) |