From be1b30498101ed929f03eb3548359dba1713e8aa Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Tue, 27 Sep 2011 09:19:24 +0000
Subject: fix #426

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

diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index 0e7fd630..d228016c 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -339,7 +339,7 @@ The protocol used should be configured so that no user interaction
 \(passwords, or whatever) is required to get going.  For proper
 behaviour with interrupts, the program should also communicate
 signals to the remote host."
-  :type '(choice string nil)
+  :type '(choice string (const nil))
   :group 'proof-user-options)
 
 (defcustom proof-disappearing-proofs nil
-- 
cgit v1.2.3