diff -r e5909dff0dbf -r 96555c0ed875 ucx/cx/mempool.h
--- a/ucx/cx/mempool.h	Sun Jul 02 13:23:51 2023 +0200
+++ b/ucx/cx/mempool.h	Mon Jul 10 18:40:37 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
  */