X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fstringi-map.h;h=5f2ffdc40ba0624b3842e7ae1360046295c19107;hb=d8b3292a8c12564dbc67e59f24d626dcfbf2e274;hp=1c4894b411bb8a8cae193635572756ccabf27e09;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp

diff --git a/src/libpspp/stringi-map.h b/src/libpspp/stringi-map.h
index 1c4894b411..5f2ffdc40b 100644
--- a/src/libpspp/stringi-map.h
+++ b/src/libpspp/stringi-map.h
@@ -90,8 +90,11 @@ static inline bool stringi_map_is_empty (const struct stringi_map *);
 
 bool stringi_map_contains (const struct stringi_map *, const char *);
 const char *stringi_map_find (const struct stringi_map *, const char *);
+const char *stringi_map_find__ (const struct stringi_map *, const char *key,
+                                size_t key_len);
 struct stringi_map_node *stringi_map_find_node (const struct stringi_map *,
-                                                const char *);
+                                                const char *key,
+                                                size_t key_len);
 char *stringi_map_find_and_delete (struct stringi_map *, const char *key);
 
 struct stringi_map_node *stringi_map_insert (struct stringi_map *,