X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmsg-ui.c;h=682d753d8fbd36200f68e33677c239e5ef5b6c17;hb=d112adc6bdbab5593d533fdc8853e80a2cb358e7;hp=b03efb95e5712456cc5929dd42ab7f61cb75d3c4;hpb=06a34a11908066ab5949d4b36c7fc5b7f44e88bb;p=pspp-builds.git

diff --git a/src/ui/terminal/msg-ui.c b/src/ui/terminal/msg-ui.c
index b03efb95..682d753d 100644
--- a/src/ui/terminal/msg-ui.c
+++ b/src/ui/terminal/msg-ui.c
@@ -267,7 +267,7 @@ write_stream (int line_indent, struct substring line, void *stream_)
 
 /* Writes LINE to the journal. */
 static void
-write_journal (int line_indent, struct substring line, void *unused UNUSED)
+write_journal (int line_indent UNUSED, struct substring line, void *unused UNUSED)
 {
   char *s = xstrndup (ss_data (line), ss_length (line));
   journal_write (true, s);