X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fcommand-line.c;h=71d42a0483d5c159ea68a6521d6f888d1a08b112;hb=c86f5b8a45cca158b46a4fe3b48280e88ce9aba1;hp=976af0c2191a7377e6e00d90209c8d9815d86bda;hpb=3357ef01ec46f9612a71d1c14d53625467644cfe;p=pspp

diff --git a/src/ui/terminal/command-line.c b/src/ui/terminal/command-line.c
index 976af0c219..71d42a0483 100644
--- a/src/ui/terminal/command-line.c
+++ b/src/ui/terminal/command-line.c
@@ -23,7 +23,6 @@
 #include <errno.h>
 #include <getopt.h>
 #include <stdlib.h>
-#include <libpspp/alloc.h>
 #include <libpspp/assertion.h>
 #include <libpspp/copyleft.h>
 #include <libpspp/message.h>
@@ -38,6 +37,8 @@
 #include <libpspp/verbose-msg.h>
 #include "read-line.h"
 
+#include "xalloc.h"
+
 #include "gettext.h"
 #define _(msgid) gettext (msgid)
 #define N_(msgid) msgid