X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.h;h=0fba4a608f741ba7766e8b1112bc964751af370d;hb=50f8d6d2dbf599b410c9bc346a47cb577fba8fe1;hp=fe4af29b73c4bcdccc77d1df03d8de21944c1432;hpb=c66132a07790c90a5f32260886a488be6e318337;p=pspp-builds.git

diff --git a/src/libpspp/pool.h b/src/libpspp/pool.h
index fe4af29b..0fba4a60 100644
--- a/src/libpspp/pool.h
+++ b/src/libpspp/pool.h
@@ -1,6 +1,5 @@
 /* PSPP - computes sample statistics.
    Copyright (C) 2000, 2006 Free Software Foundation, Inc.
-   Written by Ben Pfaff <blp@gnu.org>.
 
    This program is free software; you can redistribute it and/or
    modify it under the terms of the GNU General Public License as
@@ -22,6 +21,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 +90,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 *);