X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpage-sheet-spec.c;h=8d9cd744096480a11c8cb7e8322f9a169a3dbcc3;hb=fce028c380d496e42823fd24774e0159ed7cc110;hp=451f0b1a2e5bea99b9a9ee90a10fd7e18b6c1621;hpb=6d0d055e9336d05a3efca53d551eb905bd956e72;p=pspp

diff --git a/src/ui/gui/page-sheet-spec.c b/src/ui/gui/page-sheet-spec.c
index 451f0b1a2e..8d9cd74409 100644
--- a/src/ui/gui/page-sheet-spec.c
+++ b/src/ui/gui/page-sheet-spec.c
@@ -57,7 +57,6 @@
 
 #include <data/casereader.h>
 
-#include "gl/error.h"
 #include "gl/intprops.h"
 #include "gl/xalloc.h"