X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Finclude.c;h=abce511a0a74db2c3a8d57639f7dc9cad88d2107;hb=88df4d36b881e6a7aa08612737f72c2abd63bcb4;hp=7e3bacc6d7182ae913dc3ae553ffb61dffd7df39;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/include.c b/src/include.c
index 7e3bacc6d7..abce511a0a 100644
--- a/src/include.c
+++ b/src/include.c
@@ -23,10 +23,13 @@
 #include "alloc.h"
 #include "command.h"
 #include "error.h"
-#include "getline.h"
+#include "getl.h"
 #include "lexer.h"
 #include "str.h"
 
+#include "gettext.h"
+#define _(msgid) gettext (msgid)
+
 int
 cmd_include (void)
 {