X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.c;h=503e5da5142f2d9e6da42e122d38c3706f0fc138;hb=db2b1501c7ef5912183d51340740dd4bd2ee45ac;hp=169671033a2c74ad916c9670bb83d66948862525;hpb=7db1398e16e52bd5da6eb828d4e28fe5b5c2fdf0;p=pspp-builds.git

diff --git a/src/ui/gui/data-editor.c b/src/ui/gui/data-editor.c
index 16967103..503e5da5 100644
--- a/src/ui/gui/data-editor.c
+++ b/src/ui/gui/data-editor.c
@@ -22,7 +22,6 @@
 #include <gtk/gtk.h>
 
 #include "window-manager.h"
-#include <gtksheet/gtksheet.h>
 
 #include "psppire-data-editor.h"