rename MYMALLOC -> model_malloc

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index b702d39945fa5cbaa7953b106aad3f7fa748a273..4b393cb4a29fac98fdb7b912fef5991d7a7c458a 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -41,7 +41,7 @@ void *MYCALLOC(size_t count, size_t size) {
 }
 
 /** Non-snapshotting malloc for our use. */
-void *MYMALLOC(size_t size) {
+void *model_malloc(size_t size) {
 #if USE_MPROTECT_SNAPSHOT
        static void *(*mallocp)(size_t size)=NULL;
        char *error;