# HG changeset patch
# User Markus Rost <rost@math.uni-bielefeld.de>
# Date 1027391216 0
# Node ID 527b6139edd20933194df6e78987cdbd9e278360
# Parent  35665ffbedeb7c4676dbf8b9d9f4a37d49bb5375
(ido-separator): Fix type.

diff -r 35665ffbedeb -r 527b6139edd2 lisp/ido.el
--- a/lisp/ido.el	Tue Jul 23 00:06:22 2002 +0000
+++ b/lisp/ido.el	Tue Jul 23 02:26:56 2002 +0000
@@ -652,7 +652,7 @@
 (defcustom ido-separator nil
   "*String used by ido to separate the alternatives in the minibuffer.
 Obsolete.  Set 3rd element of `ido-decorations' instead."
-  :type 'string
+  :type '(choice string (const nil))
   :group 'ido)
 
 (defcustom ido-decorations '( "{" "}" " | " " | ..." "[" "]" " [No match]" " [Matched]")