void * snapshot_malloc(size_t size);
void * snapshot_calloc(size_t count, size_t size);
+void * snapshot_realloc(void *ptr, size_t size);
void snapshot_free(void *ptr);
/** @brief Provides a non-snapshotting allocator for use in STL classes.
extern mspace user_snapshot_space;
#endif
+extern mspace model_snapshot_space;
+
#ifdef __cplusplus
}; /* end of extern "C" */
#endif