diff options
| author | David Aspinall | 2002-12-29 16:14:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-12-29 16:14:33 +0000 |
| commit | 2af6bf1960be1e59edc3a4110a4f632e3d4ea510 (patch) | |
| tree | cd27ccee52b1924b35041e8253ab549525dba427 /generic/proof-shell.el | |
| parent | 1f634f4f60174f92eee440e8182abb21b9f044ca (diff) | |
Buglet in proof-shell-ready-prover
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 3f2e2e6a..3a8a97f2 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -152,7 +152,8 @@ No change to current buffer or point." (proof-shell-start) (unless (or (not proof-shell-busy) (eq queuemode proof-shell-busy) - (member proof-shell-busy queuemode)) + (and (listp queuemode) + (member proof-shell-busy queuemode))) (error "Proof Process Busy!"))) ;;;###autoload |