X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=1d7264f83985674073a5210e82e43c88e5cd9f30;hb=c86f5b8a45cca158b46a4fe3b48280e88ce9aba1;hp=bab489a5aad88b13072822e4b113df887b8094a4;hpb=360dcdd5b188e73cf8cf97238cc4c0c44b3e6cf8;p=pspp
diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index bab489a5aa..1d7264f839 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -14,6 +14,7 @@
You should have received a copy of the GNU General Public License
along with this program. If not, see . */
+#include
#include
#include "psppire.h"
#include "progname.h"