X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtk-contrib%2Fgtkxpaned.c;h=e350295a3e3f40bbcf687ca3f3bcf7438bec217c;hb=b7994155882996ee11fb1b6b044c429b0d2f8a44;hp=5db3cceae1b4944ffa0f053b6739b7e015231b9c;hpb=c9d55afdda746d7e8b39e5a117c1644debbb0c75;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>