X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=4b393cb4a29fac98fdb7b912fef5991d7a7c458a;hb=f01c21655bce58ff70b0e8936f2579a7beeafad4;hp=b702d39945fa5cbaa7953b106aad3f7fa748a273;hpb=2e343f1ee60e801cb17ef75fb915f44a389eb6c7;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index b702d39..4b393cb 100644
--- 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;