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