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