X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsys-file-writer.c;h=34f59d332d1544abf2bdd67497d228ab6f88ee45;hb=f641982c71972cbf57eb9469d14af8629bf79d7b;hp=f82cafad32d5e92d879985790005a15da38cae9a;hpb=4f2f805c653f0dc901924944ea4c55309ff14d32;p=pspp

diff --git a/src/data/sys-file-writer.c b/src/data/sys-file-writer.c
index f82cafad32..34f59d332d 100644
--- a/src/data/sys-file-writer.c
+++ b/src/data/sys-file-writer.c
@@ -46,7 +46,6 @@
 #include "value-labels.h"
 #include "variable.h"
 
-#include "stat-macros.h"
 #include "minmax.h"
 
 #include "gettext.h"