X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fpage-first-line.c;h=9050d94e8e45a084ceb2b6e0002f5a460ab5d2da;hb=a6f1c88d9d4dee24e1f79048c8a5d8274f68c405;hp=ca6f4240144e74dd47c953540f6d150d3bc2ac95;hpb=fce028c380d496e42823fd24774e0159ed7cc110;p=pspp

diff --git a/src/ui/gui/page-first-line.c b/src/ui/gui/page-first-line.c
index ca6f424014..9050d94e8e 100644
--- a/src/ui/gui/page-first-line.c
+++ b/src/ui/gui/page-first-line.c
@@ -37,7 +37,6 @@
 #include "libpspp/i18n.h"
 #include "libpspp/line-reader.h"
 #include "libpspp/message.h"
-#include "ui/gui/checkbox-treeview.h"
 #include "ui/gui/dialog-common.h"
 #include "ui/gui/executor.h"
 #include "ui/gui/helper.h"