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