X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-buttonbox.c;h=08abd6ff73ff9e8c714be16e0809fdaf63102c1d;hb=e6ae2a61e5356694c09f48da74407f8054a04e8d;hp=bfa10c940955051dc45483f49981eec4742827de;hpb=8f157150f5fe225224e407161fb7f899d34b8b18;p=pspp

diff --git a/src/ui/gui/psppire-buttonbox.c b/src/ui/gui/psppire-buttonbox.c
index bfa10c9409..08abd6ff73 100644
--- a/src/ui/gui/psppire-buttonbox.c
+++ b/src/ui/gui/psppire-buttonbox.c
@@ -18,6 +18,8 @@
     02110-1301, USA. */
 
 
+#include <config.h>
+
 #include <glib.h>
 #include <gtk/gtk.h>
 #include <gtk/gtksignal.h>