X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvalue.h;h=9103c6b317fe8f1939767a78236a83f94924c148;hb=828f40a9dfc8522482bc59b939227f9f93ee691a;hp=4554a36617eb589153dc7244f19b3edf74c0bbd7;hpb=a2f24e20cafce5616db69902a1594911ab026978;p=pspp

diff --git a/src/data/value.h b/src/data/value.h
index 4554a36617..9103c6b317 100644
--- a/src/data/value.h
+++ b/src/data/value.h
@@ -39,12 +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_ptr_values (const union value **, const union value **, int width);
-unsigned hash_ptr_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);