From 5b5e03cef4876bfb5ff58ef9b87b91a6ffc0f6fc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Jan 2011 17:36:32 +0000
Subject: Localise compilation fix for dynamic scope of `queueitems\'.

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

(limited to 'coq')

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
-- 
cgit v1.2.3