X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtk-contrib%2Fgtkxpaned.c;h=a03621d5dcae8ec2c833767b03cfa48b9055d5f8;hb=a6a3f95261f5d91832956bf2cc360f99caeffc16;hp=bb1309ff07ba77b581ea00d185152f6b0da1bf6d;hpb=a2a6ca0624eab7af45150086b4653aff61daf1eb;p=pspp

diff --git a/lib/gtk-contrib/gtkxpaned.c b/lib/gtk-contrib/gtkxpaned.c
index bb1309ff07..a03621d5dc 100644
--- a/lib/gtk-contrib/gtkxpaned.c
+++ b/lib/gtk-contrib/gtkxpaned.c
@@ -36,6 +36,7 @@
 #include <gtk/gtk.h>
 #include <ui/gui/psppire-marshal.h>
 #include <gdk/gdkkeysyms.h>
+#include <gdk/gdkkeysyms-compat.h>
 
 enum WidgetProperties
   {