1--- hash.h.orig 2020-07-04 10:20:48.099418874 +0200 2+++ hash.h 2020-07-04 10:21:37.279976514 +0200 3@@ -66,7 +66,9 @@ 4 size_t hash_do_for_each (const Hash_table *, Hash_processor, void *); 5 6 /* Allocation and clean-up. */ 7+#if 0 8 size_t hash_string (const char *, size_t) _GL_ATTRIBUTE_PURE; 9+#endif 10 void hash_reset_tuning (Hash_tuning *); 11 Hash_table *hash_initialize (size_t, const Hash_tuning *, 12 Hash_hasher, Hash_comparator, 13