X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvalue.h;h=9103c6b317fe8f1939767a78236a83f94924c148;hb=ff0677b2004db6ef79acde96ecbb72d146edf7c8;hp=612ec114013ed00d84611df62ab7730b7e499713;hpb=bf6be2aa2a406ee96e4b402734e191b3dbbf956e;p=pspp

diff --git a/src/data/value.h b/src/data/value.h
index 612ec11401..9103c6b317 100644
--- a/src/data/value.h
+++ b/src/data/value.h
@@ -39,8 +39,8 @@ union value
 union value *value_dup (const union value *, int width);
 union value *value_create (int width);
 
-int compare_values (const union value *, const union value *, int width);
-unsigned hash_value (const union value  *, int width);
+int compare_values (const void *, const void *, const void *var);
+unsigned hash_value (const void *, const void *var);
 
 static inline size_t value_cnt_from_width (int width);
 void value_copy (union value *, const union value *, int width);