X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.c;fp=src%2Foutput%2Foutput.c;h=8eccf763f9b9ea3b49f7192c9e4f547ac1161cce;hb=9f087e7aa4cdff1d5d46d5e188c0017a9d2d0029;hp=842e1c15c63bc383219c4a5de027883b2c086aff;hpb=7a887989fb1da56ebd264ee3338c1472c7e40a51;p=pspp-builds.git

diff --git a/src/output/output.c b/src/output/output.c
index 842e1c15..8eccf763 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)