X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-syntax-window.c;h=48a77fc03ec21a7fa3f9cfc4a3ddc6cceedb3c4f;hb=0d01f7bd35591882cd13b6352409858ea33d39f7;hp=3879e5b4dd277ec1f23b11f04b9edb992ab3fbe3;hpb=ec98753885c4b9e38978d61262a9aa4ef4f8a69a;p=pspp-builds.git

diff --git a/src/ui/gui/psppire-syntax-window.c b/src/ui/gui/psppire-syntax-window.c
index 3879e5b4..48a77fc0 100644
--- a/src/ui/gui/psppire-syntax-window.c
+++ b/src/ui/gui/psppire-syntax-window.c
@@ -18,6 +18,7 @@
 
 #include <gtk/gtksignal.h>
 #include <gtk/gtkbox.h>
+#include "executor.h"
 #include "helper.h"
 
 #include <libpspp/message.h>