diff options
Diffstat (limited to 'coq/coq-seq-compile.el')
| -rw-r--r-- | coq/coq-seq-compile.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/coq/coq-seq-compile.el b/coq/coq-seq-compile.el index 74327b53..4889ccaf 100644 --- a/coq/coq-seq-compile.el +++ b/coq/coq-seq-compile.el @@ -24,9 +24,6 @@ ;;; Code: -(eval-when-compile - (require 'proof-compat)) - (defvar queueitems) ; dynamic scope in p-s-extend-queue-hook (require 'coq-compile-common) |