X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmsg-ui.h;fp=src%2Fui%2Fterminal%2Fmsg-ui.h;h=4eeec2789ecaff638e8891a4a8971f12c2b1711c;hb=f5574c6264163859a8eb94ab1e33bcc1b61fce5f;hp=fc9dcd95939e9e2b6499008889972aa520531688;hpb=8acca2de53c1852f38726f70fc6516b34732a79f;p=pspp-builds.git

diff --git a/src/ui/terminal/msg-ui.h b/src/ui/terminal/msg-ui.h
index fc9dcd95..4eeec278 100644
--- a/src/ui/terminal/msg-ui.h
+++ b/src/ui/terminal/msg-ui.h
@@ -22,6 +22,7 @@
 
 #include <stdbool.h>
 
+void msg_ui_set_error_file (const char *filename);
 void msg_ui_init (void);
 void msg_ui_done (void);
 void check_msg_count (void);