model-checker : get hash of local and global variables which are not pointers

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

diff --git a/include/xbt/mallocator.h b/include/xbt/mallocator.h
index e65d0e2..cc4b78a 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()