rename MYFREE -> model_free
[c11tester.git] / mymemory.cc
index 9fbca0391199ba6e2608bacb065d28a7a826c3c8..2add16c33868ef00d7cca763e5d87187d95baa8f 100644 (file)
@@ -100,7 +100,7 @@ void system_free( void * ptr ){
 }
 
 /** Non-snapshotting free for our use. */
-void MYFREE(void *ptr) {
+void model_free(void *ptr) {
 #if USE_MPROTECT_SNAPSHOT
        static void (*freep)(void *);
        char *error;