From 24ed134175091ef56997be780d280cd5daa84e2b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 19 May 2015 09:37:57 +0000
Subject: robustify last commit (disabling smie show-paren).

---
 coq/coq.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 68bb7802..9c533b04 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1387,7 +1387,10 @@ Warning:
 
 ;; smie's parenthesis blinking is too slow, let us have the default one back
 (add-hook 'coq-mode-hook
-          '(lambda () (setq show-paren-data-function 'show-paren--default)))
+          '(lambda ()
+             (when (and (fboundp 'show-paren--default)
+                        (boundp 'show-paren-data-function))
+               (setq show-paren-data-function 'show-paren--default))))
 
 (defun coq-toggle-use-project-file ()
   (interactive)
@@ -1678,7 +1681,7 @@ Near here means PT is either inside or just aside of a comment."
    proof-no-fully-processed-buffer t
 
    ;; Coq has no global settings?
-   ;; (proof-assistant-settings-cmd))
+   ;; (proof-assistant-settings-cmd)
 
    proof-shell-restart-cmd coq-shell-restart-cmd
    pg-subterm-anns-use-stack t)
-- 
cgit v1.2.3