From fdb02087874d15c4d8e54763f4ab04d63b84f0d5 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Sun, 11 Sep 2011 12:54:03 +0000
Subject: Fix proof-shell-exit optional argument with (interactive) thanks to
 Erik Martin-Dorel.

---
 generic/proof-shell.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index a010276a..a2d37f6b 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -370,7 +370,7 @@ process command."
 	  (error "%s process exited!" proc))
 
 	;; PG manages the prover process, don't query user on exit
-	(set-process-query-on-exit-flag 
+	(set-process-query-on-exit-flag
 	 (get-buffer-process proof-shell-buffer) nil)
 
 	;; Initialise associated buffers
@@ -502,7 +502,7 @@ without confirmation.
 
 The kill function uses `<PA>-quit-timeout' as a timeout to wait
 after sending `proof-shell-quit-cmd' before rudely killing the process."
-  (interactive)
+  (interactive "P")
   (if (buffer-live-p proof-shell-buffer)
       (when (or dont-ask
 		(yes-or-no-p (format "Exit %s process? " proof-assistant)))
-- 
cgit v1.2.3