X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=a52cafddf0d414cb06ddd8464c9795949b91e2d9;hb=f926879f4be2b8eca78860e22f00d1001b91c175;hp=c57057f025a59bf2d61fc865ecb8319147fb52dc;hpb=adc35059e3ae7e8968bc6c7a835abc412920e9b5;p=pspp

diff --git a/dump.c b/dump.c
index c57057f025..a52cafddf0 100644
--- a/dump.c
+++ b/dump.c
@@ -823,7 +823,7 @@ dump_title(void)
       dump_value(stdout, 0);
       /* Custom footnote marker string. */
       if (match_byte (0x31))
-        dump_value(stderr, 0);
+        dump_value(stdout, 0);
       else
         match_byte_assert (0x58);
       get_u32 ();