Sat Oct 29 16:25:36 2005 Ben Pfaff <blp@gnu.org>

[pspp] / src / pool.h

diff --git a/src/pool.h b/src/pool.h
index e2e90c26b79c6ddbc97053e95a5ed0d7ba59fbf2..ff5898434e5d03eb0ec070b83a991a9a91374a22 100644 (file)
--- 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. */