diff options
author | Hendrik Tews <hendrik@askra.de> | 2013-03-05 10:04:45 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2013-03-05 10:04:45 +0000 |
commit | 4d82a4363942ea6a1f764a0a22b37f3092c62947 (patch) | |
tree | ea043142a9f9c00055d67125eac5498e7c656a41 /coq/coq-par-compile.el | |
parent | 36a7fdf27623dc698d3f315c81b1b44d0f33b927 (diff) |
fix overwriting the empty compilation queue
Diffstat (limited to 'coq/coq-par-compile.el')
-rw-r--r-- | coq/coq-par-compile.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 5cedd104..43de2646 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -335,11 +335,11 @@ latter greater then everything else." ;;; job queue -(defconst coq-par-empty-compilation-queue '(nil . nil) - "The empty queue for `coq-par-compilation-queue'") +(defun coq-par-new-compilation-queue () + "Create a new empty queue for `coq-par-compilation-queue'" + (cons nil nil)) -(defvar coq-par-compilation-queue - coq-par-empty-compilation-queue +(defvar coq-par-compilation-queue (coq-par-new-compilation-queue) "Queue of compilation jobs with in and out end. Use `coq-par-enqueue' and `coq-par-dequeue' to access the queue.") @@ -624,7 +624,7 @@ Used for unlocking ancestors on compilation errors." Kills all processes, unlocks ancestors, clears the queue region and resets the internal state." (coq-par-kill-all-processes) - (setq coq-par-compilation-queue coq-par-empty-compilation-queue) + (setq coq-par-compilation-queue (coq-par-new-compilation-queue)) (setq coq-last-compilation-job nil) (when proof-action-list (setq proof-shell-interrupt-pending t)) |