diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 13:37:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 13:37:33 +0000 |
| commit | 0548ea856a2c6f5acc849c5bea2862e60dee8da8 (patch) | |
| tree | 5fb657cc94235560304808f46d2d7979e1d5f98b /generic | |
| parent | 3a56681adb4f06849aa4cdff701a88f4847fff14 (diff) | |
Possible bug in interrupt signaling discovered
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 6af8db08..b8344c95 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -872,7 +872,7 @@ the prover command buffer (e.g., with Isabelle2009 press RET inside *isabelle*). (if proof-shell-expecting-output (progn (setq proof-shell-interrupt-pending t) ; interrupt even if no interrupt message - (interrupt-process nil scomint-ptyp)) + (interrupt-process)) ;; otherwise, interrupt the queue right here (proof-shell-error-or-interrupt-action 'interrupt)))) |