X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire.c;h=d75bff359b1d33aac4b0d8f177a259e47d014903;hb=cef154921f6cdc07bc76edbe720036ab4c32bff8;hp=e61269164046cfaa6792f2ece2b390d2d23bc3b9;hpb=0f8c9c6c05632de5cadc70ca5381c1d9cb46960e;p=pspp-builds.git

diff --git a/src/ui/gui/psppire.c b/src/ui/gui/psppire.c
index e6126916..d75bff35 100644
--- a/src/ui/gui/psppire.c
+++ b/src/ui/gui/psppire.c
@@ -56,6 +56,7 @@
 #include "ui/source-init-opts.h"
 #include "ui/syntax-gen.h"
 
+#include "gl/configmake.h"
 #include "gl/xalloc.h"
 #include "gl/relocatable.h"