Committed patch #5524, which allows the message destination to be
[pspp-builds.git] / src / ui / terminal / msg-ui.h
index fc9dcd95939e9e2b6499008889972aa520531688..4eeec2789ecaff638e8891a4a8971f12c2b1711c 100644 (file)
@@ -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);