size shouldn't be accessible from the user API.

[simgrid.git] / include / xbt / mallocator.h

diff --git a/include/xbt/mallocator.h b/include/xbt/mallocator.h
index e65d0e2db9fe4dfa9074a8e9a6237378367401c3..cc4b78a9eee54c650fef7c6dde31ed0c347618c6 100644 (file)
--- a/include/xbt/mallocator.h
+++ b/include/xbt/mallocator.h
@@ -52,6 +52,8 @@ XBT_PUBLIC(void) xbt_mallocator_free(xbt_mallocator_t mallocator);
 XBT_PUBLIC(void *) xbt_mallocator_get(xbt_mallocator_t mallocator);
 XBT_PUBLIC(void) xbt_mallocator_release(xbt_mallocator_t mallocator,
                                         void *object);
+
+XBT_PUBLIC(void) xbt_mallocator_initialization_is_done(int protect);
 /** @} */
 
 SG_END_DECL()