rename MYCALLOC -> model_calloc

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 4b393cb4a29fac98fdb7b912fef5991d7a7c458a..9fbca0391199ba6e2608bacb065d28a7a826c3c8 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -14,7 +14,7 @@ static mspace sStaticSpace = NULL;
 #endif
 
 /** Non-snapshotting calloc for our use. */
-void *MYCALLOC(size_t count, size_t size) {
+void *model_calloc(size_t count, size_t size) {
 #if USE_MPROTECT_SNAPSHOT
        static void *(*callocp)(size_t count, size_t size)=NULL;
        char *error;