mymemory: make snapshot_{malloc,calloc,free} externally linkable

[model-checker.git] / mymemory.h

diff --git a/mymemory.h b/mymemory.h
index 6b35f5d14f0efb46738d9389c2e8af72c9d3c6a7..c49984ffb62d4aba71f379cdd168a032940c48e5 100644 (file)
--- a/mymemory.h
+++ b/mymemory.h
@@ -31,15 +31,9 @@ void *model_malloc(size_t size);
 void *model_calloc(size_t count, size_t size);
 void model_free(void *ptr);
 
-static inline void * snapshot_malloc(size_t size) {
-       return malloc(size);
-}
-static inline void * snapshot_calloc(size_t count, size_t size) {
-       return calloc(count, size);
-}
-static inline void snapshot_free(void *ptr) {
-       free(ptr);
-}
+void * snapshot_malloc(size_t size);
+void * snapshot_calloc(size_t count, size_t size);
+void snapshot_free(void *ptr);
 
 void system_free( void * ptr );
 void *system_malloc( size_t size );