X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.c;h=8eccf763f9b9ea3b49f7192c9e4f547ac1161cce;hb=c217e77f75f84c5e31ea0f698014069cd4e78e0c;hp=842e1c15c63bc383219c4a5de027883b2c086aff;hpb=873165af1d9ae450483816b892aa17afd669a7c0;p=pspp

diff --git a/src/output/output.c b/src/output/output.c
index 842e1c15c6..8eccf763f9 100644
--- a/src/output/output.c
+++ b/src/output/output.c
@@ -25,7 +25,6 @@
 
 #include <data/file-name.h>
 #include <data/settings.h>
-#include <libpspp/alloc.h>
 #include <libpspp/misc.h>
 #include <libpspp/str.h>
 #include <output/htmlP.h>
@@ -33,6 +32,7 @@
 
 #include "error.h"
 #include "intprops.h"
+#include "xalloc.h"
 
 #include "gettext.h"
 #define _(msgid) gettext (msgid)