X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fpor-file-writer.c;h=22656f19b3cb9699eab3cc91ec559bcb5a835ff3;hb=6d53d2b45f5385271dd21e8df1b5ac23d20be9fb;hp=7b1b25512a89358b966d44416467dfd5e4bf2b10;hpb=51356a3a547f953fdfe710aae94b72ac9e40e562;p=pspp-builds.git

diff --git a/src/data/por-file-writer.c b/src/data/por-file-writer.c
index 7b1b2551..22656f19 100644
--- a/src/data/por-file-writer.c
+++ b/src/data/por-file-writer.c
@@ -39,7 +39,6 @@
 #include <data/value-labels.h>
 #include <data/variable.h>
 
-#include <libpspp/hash.h>
 #include <libpspp/message.h>
 #include <libpspp/misc.h>
 #include <libpspp/str.h>