X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.h;h=ebc00c5f0fa6c433d2c1a0200633dc653b87ed57;hb=75a514035ccbe2df4058b486a48162b301dd51d0;hp=da95f4ec7ca243066987820128123a082020cfb3;hpb=e99991940478d76062c4ab8e44a5747354e33259;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 */