X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.h;h=7dab5b47e4978806926b1e914667fa0483aa562f;hb=c708736bdd0fea4b79f3ee4a10e00c3abb95d9e3;hp=fe4af29b73c4bcdccc77d1df03d8de21944c1432;hpb=733a7755a474053cbf3221e1f182012f8ed51720;p=pspp-builds.git

diff --git a/src/libpspp/pool.h b/src/libpspp/pool.h
index fe4af29b..7dab5b47 100644
--- a/src/libpspp/pool.h
+++ b/src/libpspp/pool.h
@@ -22,6 +22,7 @@
 
 #include <stdarg.h>
 #include <stdio.h>
+#include <stdbool.h>
 #include "compiler.h"
 
 /* Maximum size of a suballocated block.  Larger blocks are allocated
@@ -90,7 +91,7 @@ void pool_detach_file (struct pool *, FILE *);
 
 /* Custom allocations. */
 void pool_register (struct pool *, void (*free) (void *), void *p);
-int pool_unregister (struct pool *, void *);
+bool pool_unregister (struct pool *, void *);
 
 /* Partial freeing. */
 void pool_mark (struct pool *, struct pool_mark *);