X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpage-separators.c;h=b2e1827c16b96b6178a4855496c855995515e39d;hb=e083132e9d963a85aadc2f7d4f1eafcabc1d05d4;hp=2ab085ffa023ba74e0a41c15e8e03e9abe585453;hpb=fce028c380d496e42823fd24774e0159ed7cc110;p=pspp

diff --git a/src/ui/gui/page-separators.c b/src/ui/gui/page-separators.c
index 2ab085ffa0..b2e1827c16 100644
--- a/src/ui/gui/page-separators.c
+++ b/src/ui/gui/page-separators.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"