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

diff --git a/src/ui/gui/helper.c b/src/ui/gui/helper.c
index a0d753b5..3be39813 100644
--- a/src/ui/gui/helper.c
+++ b/src/ui/gui/helper.c
@@ -41,6 +41,7 @@
 
 #include "psppire-data-store.h"
 
+#include "gl/configmake.h"
 #include "xalloc.h"
 
 #include <gettext.h>