X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fval.h;h=353141b98858cb1bdf31ec9d32792b29487fafc1;hb=180d764e86e0f3b2fd0e2bb613d790adcd5aceb0;hp=fe35aad9aeb74f5f799b8004ff395264eac97340;hpb=60d7d619ee7885ad065f178eb0cf1e5d432b1921;p=pspp

diff --git a/src/val.h b/src/val.h
index fe35aad9ae..353141b988 100644
--- a/src/val.h
+++ b/src/val.h
@@ -21,6 +21,7 @@
 #define val_h 1
 
 #include <float.h>
+#include "config.h"
 
 /* Values. */
 
@@ -69,5 +70,8 @@ union value
 
 int compare_values (const union value *a, const union value *b, int width);
 
+unsigned  hash_value(const union value  *v, int width);
+
+
 
 #endif /* !val_h */