rename MYCALLOC -> model_calloc

[model-checker.git] / mymemory.h

diff --git a/mymemory.h b/mymemory.h
index 21f636f584f7c6b66cbc534ef3708c2fe2f667f3..a6a3c59320731d539860f4ca284a399f0cae7100 100644 (file)
--- a/mymemory.h
+++ b/mymemory.h
@@ -28,7 +28,7 @@
 #define SNAPSHOTALLOC
 
 void *model_malloc(size_t size);
-void *MYCALLOC(size_t count, size_t size);
+void *model_calloc(size_t count, size_t size);
 void MYFREE(void *ptr);
 
 static inline void * snapshot_malloc(size_t size) {