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