# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1023874654 0
# Node ID 84c6baca9c7dd64a1a3d0de8e72fc09bc0618fcd
# Parent  4873e4ecda409d05920f64759f429cadfffd6163
(Fformat_mode_line): Fix typo.

diff -r 4873e4ecda40 -r 84c6baca9c7d src/xdisp.c
--- a/src/xdisp.c	Wed Jun 12 09:18:26 2002 +0000
+++ b/src/xdisp.c	Wed Jun 12 09:37:34 2002 +0000
@@ -14019,7 +14019,7 @@
        0, 2, 0,
        doc: /* Return the mode-line of selected window as a string.
 First optional arg FORMAT specifies a different format string (see
-`mode-line-format' for for details) to use.  If FORMAT is t, return
+`mode-line-format' for details) to use.  If FORMAT is t, return
 the buffer's header-line.  Second optional arg WINDOW specifies a
 different window to use as the context for the formatting.  */)
      (format, window)