From 38b6dd235c4a1b2673c01abb9d13b08db1f29b9d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 10 Dec 2015 14:50:36 +0100
Subject: Fixing variable declaration.

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

diff --git a/coq/coq.el b/coq/coq.el
index 7ee5ebd3..743d49a7 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -131,7 +131,6 @@ These are appended at the end of `coq-shell-init-cmd'."
   :type '(repeat (cons (string :tag "command")))
   :group 'coq)
 
-
 ;; Default coq is only Private_ and _subproof
 (defcustom coq-search-blacklist-string ; add this? \"_ind\" \"_rect\" \"_rec\" 
  "\"Private_\" \"_subproof\""
@@ -139,9 +138,11 @@ These are appended at the end of `coq-shell-init-cmd'."
   :type 'string
   :group 'coq)
 
+
 ;; this remembers the previous value of coq-search-blacklist-string, so that we
 ;; can cook a remove+add blacklist command each time the variable is changed.
-(setq coq-search-blacklist-string-prev coq-search-blacklist-string)
+;; initially we put it at current value of coq-search-blacklist-string.
+(defvar coq-search-blacklist-string-prev coq-search-blacklist-string)
 
 ;TODO: remove Set Undo xx. It is obsolete since coq-8.5 at least.
 ;;`(,(format "Set Undo %s . " coq-default-undo-limit) "Set Printing Width 75.")
-- 
cgit v1.2.3