X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput.c;h=59bccb8045324f707f792d3be6be4f2feabc1ec3;hb=f62700038e9edd7d8002242015a900a15626bceb;hp=b9f465dbfcb78351f2adfb35b6ced889c7ae353d;hpb=2e02472cf15ddb64c33a1477cf4cfbf3be2d0c95;p=pspp

diff --git a/src/output.c b/src/output.c
index b9f465dbfc..59bccb8045 100644
--- a/src/output.c
+++ b/src/output.c
@@ -34,6 +34,9 @@
 #include "settings.h"
 #include "str.h"
 
+#include "gettext.h"
+#define _(msgid) gettext (msgid)
+
 /* FIXME? Should the output configuration format be changed to
    drivername:classname:devicetype:options, where devicetype is zero
    or more of screen, printer, listing? */