X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.c;h=d60a01ac12fce9092228675a20bedcce8fd837b1;hb=480a0746507ce73d26f528b56dc3ed80195096e0;hp=2b3c637ab02b3cdab634e6ff1abdc682edfc2055;hpb=0fa141762183890ebd139ccd9264f08db9011539;p=pspp-builds.git

diff --git a/src/ui/gui/helper.c b/src/ui/gui/helper.c
index 2b3c637a..d60a01ac 100644
--- a/src/ui/gui/helper.c
+++ b/src/ui/gui/helper.c
@@ -1,3 +1,5 @@
+#include <config.h>
+
 #include "helper.h"
 #include <data/data-in.h>
 #include <data/data-out.h>