X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpool.h;h=a751c96cb7f5cfffe4fd00538e2a275f9fc60e73;hb=2381b300df6b6a2023d15cc3bce02db92039aa87;hp=117e0c5b7d5513c33c8bbdafce61b58d24d8f652;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/pool.h b/src/pool.h
index 117e0c5b7d..a751c96cb7 100644
--- a/src/pool.h
+++ b/src/pool.h
@@ -40,6 +40,7 @@ void pool_destroy (struct pool *);
 /* Suballocation routines. */
 void *pool_alloc (struct pool *, size_t);
 char *pool_strdup (struct pool *, const char *);
+char *pool_strndup (struct pool *, const char *, size_t);
 char *pool_strcat (struct pool *, const char *, ...);
 
 /* Standard allocation routines. */