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

1 files changed, 2 insertions, 0 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