X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdictionary.h;h=581a49d827614a56277dd65cf7564addc9a0f49b;hb=ce16a4a594e7ddfc277afc4abb7faaeb1a03d233;hp=9990410afaf52e6e6b6757166da1df91135d3901;hpb=9db3101d0bbbcfb687acd3e442e550557e4e56b1;p=pspp

diff --git a/src/data/dictionary.h b/src/data/dictionary.h
index 9990410afa..581a49d827 100644
--- a/src/data/dictionary.h
+++ b/src/data/dictionary.h
@@ -140,4 +140,6 @@ const struct vector *dict_lookup_vector (const struct dictionary *,
                                          const char *name);
 void dict_clear_vectors (struct dictionary *);
 
+void dict_dump (const struct dictionary *);
+
 #endif /* dictionary.h */