X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtk-contrib%2Fgtkxpaned.c;h=e350295a3e3f40bbcf687ca3f3bcf7438bec217c;hb=c75794cffb05769b71a346af8513a3e8dde55f94;hp=5db3cceae1b4944ffa0f053b6739b7e015231b9c;hpb=a1efcf97ca2f75f4be6a0389ff2372c03ed2d4e1;p=pspp

diff --git a/lib/gtk-contrib/gtkxpaned.c b/lib/gtk-contrib/gtkxpaned.c
index 5db3cceae1..e350295a3e 100644
--- a/lib/gtk-contrib/gtkxpaned.c
+++ b/lib/gtk-contrib/gtkxpaned.c
@@ -29,6 +29,7 @@
 **
 *******************************************************************************/
 
+#include <config.h>
 #include "gtkxpaned.h"
 #include <ui/gui/psppire-marshal.h>
 #include <gtk/gtkbindings.h>