X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.c;h=0372e14cf9325df0a7a62604229b329784ca073a;hb=00f87914f662b50bcb9eaf432e10ef5c3f486086;hp=d3b78f1481e9b098935e28368fff0d6a02319aa4;hpb=646890cac8de355277617ea100898c7d858a92d2;p=pspp-builds.git

diff --git a/src/ui/gui/output-viewer.c b/src/ui/gui/output-viewer.c
index d3b78f14..0372e14c 100644
--- a/src/ui/gui/output-viewer.c
+++ b/src/ui/gui/output-viewer.c
@@ -28,6 +28,8 @@
 #include <glade/glade.h>
 #include <ctype.h>
 
+#include "xalloc.h"
+
 struct output_viewer
 {
   struct editor_window parent;