X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.c;h=213efb9ce7cea0aeaac971eea713b03f74a1ff98;hb=286fe5a93b54a3c22d4c28468ff269afb859fb49;hp=d4c00b38037a6d754dbde33b6cb5774d3aebe891;hpb=97d4f38945476834fd7fce612b663f19f2b291f8;p=pspp

diff --git a/src/libpspp/pool.c b/src/libpspp/pool.c
index d4c00b3803..213efb9ce7 100644
--- a/src/libpspp/pool.c
+++ b/src/libpspp/pool.c
@@ -777,8 +777,8 @@ pool_register (struct pool *pool, void (*free) (void *), void *p)
 }
 
 /* Unregisters previously registered P from POOL.
-   Returns nonzero only if P was found to be registered in POOL. */
-int
+   Returns true only if P was found to be registered in POOL. */
+bool
 pool_unregister (struct pool *pool, void *p)
 {
   assert (pool && p);
@@ -790,11 +790,11 @@ pool_unregister (struct pool *pool, void *p)
       if (g->type == POOL_GIZMO_REGISTERED && g->p.registered.p == p)
 	{
 	  delete_gizmo (pool, g);
-	  return 1;
+	  return true;
 	}
   }
   
-  return 0;
+  return false;
 }
 
 /* Partial freeing. */