diff options
| author | Hendrik Tews | 2011-09-27 09:19:24 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-09-27 09:19:24 +0000 |
| commit | be1b30498101ed929f03eb3548359dba1713e8aa (patch) | |
| tree | ce5b7b61cdc588d2596eab5ac2696fc51a0fa225 | |
| parent | dc4185637006fee5f796206b868f0c5fdd3417ba (diff) | |
fix #426
| -rw-r--r-- | generic/proof-useropts.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |