From 0548ea856a2c6f5acc849c5bea2862e60dee8da8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 13:37:33 +0000
Subject: Possible bug in interrupt signaling discovered

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))))
       
-- 
cgit v1.2.3