X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=1a620908309c3f93450dd4b90178ec1ca0001785;hb=2cae74e57bd1bc78f09ef0b01411d3ba83a9857d;hp=3b9f03703ea7c85b367b057f47fa63757f4dc218;hpb=5a0b0d607efde2ab3a47d0d9c9fc62128a3156c1;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 3b9f0370..1a620908 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -20,6 +20,7 @@
 
 #include "relocatable.h"
 
+#include <data/format.h>
 #include <data/value.h>
 
 #include <gtk/gtk.h>