X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpool.h;h=ff5898434e5d03eb0ec070b83a991a9a91374a22;hb=a206758c8e08470972aef2fc622c99e5393df944;hp=e2e90c26b79c6ddbc97053e95a5ed0d7ba59fbf2;hpb=a29bbbe97388bb6f9c9b4df36b448dfe5023363c;p=pspp

diff --git a/src/pool.h b/src/pool.h
index e2e90c26b7..ff5898434e 100644
--- a/src/pool.h
+++ b/src/pool.h
@@ -51,6 +51,7 @@ void *pool_malloc (struct pool *, size_t) MALLOC_LIKE;
 void *pool_nmalloc (struct pool *, size_t n, size_t s) MALLOC_LIKE;
 void *pool_realloc (struct pool *, void *, size_t);
 void *pool_nrealloc (struct pool *, void *, size_t n, size_t s);
+void *pool_2nrealloc (struct pool *, void *, size_t *pn, size_t s);
 void pool_free (struct pool *, void *);
 
 /* Gizmo allocations. */