1.1 --- a/docs/src/modules.md Tue May 29 11:05:12 2018 +0200
1.2 +++ b/docs/src/modules.md Wed May 30 11:13:52 2018 +0200
1.3 @@ -455,6 +455,10 @@
1.4 Be aware, that your destructor function should not free any memory, that is
1.5 also managed by the pool.
1.6 Otherwise you might be risking a double-free.
1.7 +More precisely, a destructor function set with `ucx_mempool_set_destr()` MUST
1.8 +NOT call `free()` on the specified pointer whereas a desructor function
1.9 +registered with `ucx_mempool_reg_destr()` MAY (and in most cases will) call
1.10 +`free()`.
1.11
1.12 ## Properties
1.13
