X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fpor-file-writer.c;h=d9f16ef41e9d296768f0b319b56820df6861a12f;hb=4ec88a3abb859304f42a5905231704b2ecfaf711;hp=f6ebb73a2bad6df1bfc077ce465992ea674383ec;hpb=480a0746507ce73d26f528b56dc3ed80195096e0;p=pspp

diff --git a/src/data/por-file-writer.c b/src/data/por-file-writer.c
index f6ebb73a2b..d9f16ef41e 100644
--- a/src/data/por-file-writer.c
+++ b/src/data/por-file-writer.c
@@ -35,7 +35,6 @@
 #include "file-handle-def.h"
 #include "format.h"
 #include "missing-values.h"
-#include "stat-macros.h"
 #include "value-labels.h"
 #include "variable.h"