X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.h;fp=src%2Flibpspp%2Fpool.h;h=ebc00c5f0fa6c433d2c1a0200633dc653b87ed57;hb=db574d2c888401a4463a2c6b4923a335dd367642;hp=da95f4ec7ca243066987820128123a082020cfb3;hpb=7c56b7a982761bd1a88cb486ee66fef992d8b8a7;p=pspp

diff --git a/src/libpspp/pool.h b/src/libpspp/pool.h
index da95f4ec7c..ebc00c5f0f 100644
--- a/src/libpspp/pool.h
+++ b/src/libpspp/pool.h
@@ -102,8 +102,4 @@ bool pool_unregister (struct pool *, void *);
 void pool_mark (struct pool *, struct pool_mark *);
 void pool_release (struct pool *, const struct pool_mark *);
 
-#if DEBUGGING
-void pool_dump (const struct pool *, const char *title);
-#endif
-
 #endif /* pool.h */