From 17b482bce3c0215115baa54f1cc6b80aea4922f1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Dec 1998 14:57:11 +0000
Subject: Fixed default for proof-shell-quit-cmd.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 4277e22a..627d16ee 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -677,7 +677,7 @@ group.  This allows different proof assistants to coexist
    :type '(choice string (const nil))
    :group 'proof-shell)
 
-(defcustom proof-shell-quit-cmd ""
+(defcustom proof-shell-quit-cmd nil
   "A command to quit the proof process.  If nil, send EOF instead."
    :type '(choice string (const nil))
    :group 'proof-shell)
-- 
cgit v1.2.3