X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fhelper.h;h=1a620908309c3f93450dd4b90178ec1ca0001785;hb=f79c3114efb645934af16035e489fdedc4cab85e;hp=3b9f03703ea7c85b367b057f47fa63757f4dc218;hpb=392ab4052e2743f80664a4130b2b4ee5d82af7fe;p=pspp

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 3b9f03703e..1a62090830 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>