diff options
| -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 |