X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fmenu-actions.c;h=d1a76802840b8970b84f57b9fc1e596771853e9f;hb=f70f1b22e925d55c246372376de1c6ffaacf8a4b;hp=c8f945c0bd660762be8dc249cf496046f6f72822;hpb=87b6d42a2d540b92baf0db8fe28657eda747b3b0;p=pspp

diff --git a/src/ui/gui/menu-actions.c b/src/ui/gui/menu-actions.c
index c8f945c0bd..d1a7680284 100644
--- a/src/ui/gui/menu-actions.c
+++ b/src/ui/gui/menu-actions.c
@@ -34,6 +34,8 @@
 #include <glade/glade.h>
 #include <gtk/gtk.h>
 
+#include <libpspp/str.h>
+
 #include <gtksheet/gtksheet.h>
 #include "helper.h"
 #include "menu-actions.h"