X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpool.h;h=dd7080a15b800806b801b3027a752533552e4461;hb=bf6d99567a762b20bee4bb71147b6387c986bb90;hp=a751c96cb7f5cfffe4fd00538e2a275f9fc60e73;hpb=b18e1b9c95a478d434e9fcef9d8579d0b96b9a8d;p=pspp-builds.git

diff --git a/src/pool.h b/src/pool.h
index a751c96c..dd7080a1 100644
--- a/src/pool.h
+++ b/src/pool.h
@@ -36,6 +36,7 @@ struct pool_mark
 /* General routines. */
 struct pool *pool_create (void);
 void pool_destroy (struct pool *);
+void pool_clear (struct pool *);
 
 /* Suballocation routines. */
 void *pool_alloc (struct pool *, size_t);