diff -r 1210ee2d755f -r bcf788f3f6f5 src/cx/mempool.h
--- a/src/cx/mempool.h	Fri Jul 07 18:41:03 2023 +0200
+++ b/src/cx/mempool.h	Fri Jul 07 18:41:44 2023 +0200
@@ -100,7 +100,7 @@
 }
 
 /**
- * Destroys a memory pool including their contents.
+ * Destroys a memory pool and frees the managed memory.
  *
  * @param pool the memory pool to destroy
  */