From 8683a3057bb232737631ffe20ce63db92a123624 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Sep 2011 11:17:35 +0000
Subject: Remove contentious call to set-process-query-on-exit-flag, ref
 Trac#424

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index a2d37f6b..93721855 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -369,10 +369,6 @@ process command."
 	  (switch-to-buffer proof-shell-buffer)
 	  (error "%s process exited!" proc))
 
-	;; PG manages the prover process, don't query user on exit
-	(set-process-query-on-exit-flag
-	 (get-buffer-process proof-shell-buffer) nil)
-
 	;; Initialise associated buffers
 
 	(with-current-buffer proof-response-buffer
-- 
cgit v1.2.3