Localise compilation fix for dynamic scope of `queueitems\'.

2 files changed, 2 insertions, 8 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 09d1a484..c4b77a41 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -22,6 +22,8 @@
   (require 'etags)
   (unless (proof-try-require 'smie)
     (defvar smie-indent-basic nil))     ; smie
+
+  (defvar queueitems nil)       ; dynamic scope in p-s-extend-queue-hook  
   (defvar coq-time-commands nil)        ; defpacustom
   (defvar coq-auto-compile-vos nil)     ; defpacustom
   (defvar coq-use-editing-holes nil)    ; defpacustom
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index dcd36a6c..069694e7 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -923,14 +923,6 @@ This function calls `proof-add-to-queue'."
   (proof-add-to-queue queueitems queuemode))
 
 
-(defvar queueitems
-  "Local variable of `proof-extend-queue' and `proof-shell-extend-queue-hook'.
-This only locally used variable communicates the items that are
-about to be placed into the `proof-action-list' queue into the
-hook functions in `proof-shell-extend-queue-hook'. This is the
-price to pay for using a normal hook.")
-
-
 ;;;###autoload
 (defun proof-extend-queue (end queueitems)
   "Extend the current queue with QUEUEITEMS, queue end END.