X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvalue.c;h=65b250e085f40c1a791735bbb6273c2df7f664ff;hb=refs%2Fbuilds%2F105%2Fpspp;hp=422639b17819375f9f3619cdb8490e377468e730;hpb=1a2c9f9cff3917a6aac038dd805c6c0380b79c6e;p=pspp

diff --git a/src/data/value.c b/src/data/value.c
index 422639b178..65b250e085 100644
--- a/src/data/value.c
+++ b/src/data/value.c
@@ -19,7 +19,7 @@
 
 #include <data/val-type.h>
 #include <data/variable.h>
-#include <libpspp/hash.h>
+#include <libpspp/hash-functions.h>
 #include <libpspp/pool.h>
 #include <libpspp/str.h>
 #include <gl/unistr.h>