X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fvar-display.c;h=114156d7476a09e098f8ba9d34be4713bdc232a8;hb=f9dff33da69048157330c8851cce709b5b24f261;hp=3245e1a3848ee4246a017e9477705594b436c467;hpb=b06c888cf2e8c126b04d4678120439533a5086e5;p=pspp

diff --git a/src/ui/gui/var-display.c b/src/ui/gui/var-display.c
index 3245e1a384..114156d747 100644
--- a/src/ui/gui/var-display.c
+++ b/src/ui/gui/var-display.c
@@ -1,3 +1,4 @@
+#include <config.h>
 #include "var-display.h"
 
 #include <data/variable.h>