1 files changed, 1 insertions, 6 deletions
diff --git a/src/pool.h b/src/pool.h
index dcf125c..de2f41b 100644
--- a/src/pool.h
+++ b/src/pool.h
@@ -181,14 +181,9 @@ struct _Pool {
 # define __attribute__(x)
 #endif
 
-/**
- * Creates a new pool
- */
 extern Pool *pool_create(void);
-/**
- * Delete a pool
- */
 extern void pool_free(Pool *pool);
+extern void pool_freeallrepos(Pool *pool, int reuseids);
 
 extern void pool_setdebuglevel(Pool *pool, int level);
 #ifdef MULTI_SEMANTICS