diff options
Diffstat (limited to 'coq/coq-seq-compile.el')
-rw-r--r-- | coq/coq-seq-compile.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-seq-compile.el b/coq/coq-seq-compile.el index ee4181ae..bf492f82 100644 --- a/coq/coq-seq-compile.el +++ b/coq/coq-seq-compile.el @@ -18,7 +18,7 @@ (eval-when-compile (require 'proof-compat)) -(eval-when (compile) +(eval-when-compile (defvar queueitems)) ; dynamic scope in p-s-extend-queue-hook (require 'coq-compile-common) |