From 4d842784d392cc86128e6a0f02085ac3505bde7e Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 24 Aug 2012 12:57:56 +0000
Subject: Fixed an error when smie not present in the system.

---
 coq/coq-smie-lexer.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 '("*." "-*." "|-*." "*|-*."))
 
-- 
cgit v1.2.3