Remove the --enable-debug configure option.

[pspp] / src / libpspp / pool.h

diff --git a/src/libpspp/pool.h b/src/libpspp/pool.h
index da95f4ec7ca243066987820128123a082020cfb3..ebc00c5f0fa6c433d2c1a0200633dc653b87ed57 100644 (file)
--- 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 */