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