X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fdata%2Fsettings.c;h=4c0fde083740ea483852acbaa56e1b53b07dbbb8;hb=00e10850124d68e722d9fba5b8c9467fff6863a3;hp=b1d4a80b9d2773b798fe432e2731aa215979865d;hpb=0b0ca44889e637251cb5f2dbf3c7fdc4ec8b9bd7;p=pspp

diff --git a/src/data/settings.c b/src/data/settings.c
index b1d4a80b9d..4c0fde0837 100644
--- a/src/data/settings.c
+++ b/src/data/settings.c
@@ -29,7 +29,6 @@
 #include "libpspp/integer-format.h"
 #include "libpspp/message.h"
 
-#include "gl/error.h"
 #include "gl/minmax.h"
 #include "gl/xalloc.h"