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

diff --git a/src/ui/gui/page-formats.c b/src/ui/gui/page-formats.c
index d1ac9b23b1..7b2ad558c9 100644
--- a/src/ui/gui/page-formats.c
+++ b/src/ui/gui/page-formats.c
@@ -47,7 +47,6 @@
 #include "ui/gui/psppire-var-sheet.h"
 #include "ui/gui/psppire-scanf.h"
 
-#include "gl/error.h"
 #include "gl/intprops.h"
 #include "gl/xalloc.h"