X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpage-formats.c;h=f5a190c78c3d1f21ffcb07882ec77a94c2b9fb90;hb=03a7b96a587a58bda342b4eb5ce5f935880ba2b7;hp=7b2ad558c924119567595af247e5f0353cc5e972;hpb=fce028c380d496e42823fd24774e0159ed7cc110;p=pspp

diff --git a/src/ui/gui/page-formats.c b/src/ui/gui/page-formats.c
index 7b2ad558c9..f5a190c78c 100644
--- a/src/ui/gui/page-formats.c
+++ b/src/ui/gui/page-formats.c
@@ -35,7 +35,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"