X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindow-manager.c;h=507fe0db391e3398586354372ea911ae60ef49d4;hb=d8749acaf878dccf9e4527c27d06d06eb5e03091;hp=2978d7ae8f5c585619c81207084249edcd4743c0;hpb=077a1c38bd58911cb74a08f95be3691e49b87779;p=pspp-builds.git

diff --git a/src/ui/gui/window-manager.c b/src/ui/gui/window-manager.c
index 2978d7ae..507fe0db 100644
--- a/src/ui/gui/window-manager.c
+++ b/src/ui/gui/window-manager.c
@@ -18,6 +18,8 @@
     02110-1301, USA. */
 
 
+#include <config.h>
+
 #include <glib.h>
 #include "syntax-editor.h"
 #include "data-editor.h"