X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fvalue-labels.h;h=f0f7ce01264c392552f7b96d130be6577ddb50a9;hb=6b3938165488f5562ab4c1e4a808f2f36407956c;hp=6c13ec9a5088b4104f898603aa130c9edf3613e0;hpb=cf5e75010ed9fa9b8eb75a71d1419d40e1a8ddd8;p=pspp

diff --git a/src/data/value-labels.h b/src/data/value-labels.h
index 6c13ec9a50..f0f7ce0126 100644
--- a/src/data/value-labels.h
+++ b/src/data/value-labels.h
@@ -111,4 +111,8 @@ const struct val_lab *val_labs_next (const struct val_labs *,
                                      const struct val_lab *);
 const struct val_lab **val_labs_sorted (const struct val_labs *);
 
+/* Properties of entire sets. */
+unsigned int val_labs_hash (const struct val_labs *, unsigned int basis);
+bool val_labs_equal (const struct val_labs *, const struct val_labs *);
+
 #endif /* data/value-labels.h */