X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdictionary.h;h=6eb5c724883b0be87407ee68a7562144a4876651;hb=c17ea35a73b7a690a54c5c6a213de19f0376e74f;hp=4887a3102a368e3ff53125584f6051a48d3404be;hpb=f514231dd2fc0c2adc1ebab5c46a4b55d2bd9c2b;p=pspp

diff --git a/src/data/dictionary.h b/src/data/dictionary.h
index 4887a3102a..6eb5c72488 100644
--- a/src/data/dictionary.h
+++ b/src/data/dictionary.h
@@ -147,6 +147,4 @@ const struct vector *dict_lookup_vector (const struct dictionary *,
                                          const char *name);
 void dict_clear_vectors (struct dictionary *);
 
-void dict_assign_short_names (struct dictionary *);
-
 #endif /* dictionary.h */