X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fpor-file-reader.c;h=c148a7f09a0792bfe9c964ceb57fea3ffc85d43f;hb=6d53d2b45f5385271dd21e8df1b5ac23d20be9fb;hp=b729770a91c7c294b99b0cbe5172245bdef128b0;hpb=51356a3a547f953fdfe710aae94b72ac9e40e562;p=pspp

diff --git a/src/data/por-file-reader.c b/src/data/por-file-reader.c
index b729770a91..c148a7f09a 100644
--- a/src/data/por-file-reader.c
+++ b/src/data/por-file-reader.c
@@ -37,7 +37,6 @@
 #include <data/value-labels.h>
 #include <data/variable.h>
 #include <libpspp/compiler.h>
-#include <libpspp/hash.h>
 #include <libpspp/message.h>
 #include <libpspp/misc.h>
 #include <libpspp/pool.h>