X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.c;h=d453f2a66593e79548e95e7a8d5b62d478a821d5;hb=65dea0d51ec33cbc614a3ec87b5aae28c86f005a;hp=7fc951d3cdeff0a7252bc3cb4de5f1a1ae79effe;hpb=3079a93f224dfc9d0fa8638ccba7a2faac900977;p=pspp

diff --git a/src/ui/gui/helper.c b/src/ui/gui/helper.c
index 7fc951d3cd..d453f2a665 100644
--- a/src/ui/gui/helper.c
+++ b/src/ui/gui/helper.c
@@ -40,7 +40,6 @@
 #include <data/settings.h>
 
 #include "psppire-data-store.h"
-#include "psppire.h"
 
 #include "gl/configmake.h"
 #include "xalloc.h"