snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 11542bfa26af49c0b1f93c23841f6138b0354865..80c1b953ff6855e24d058ddffa6589f29a6dda1f 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -3,12 +3,12 @@
 #include "snapshotimp.h"
 #include <stdio.h>
 #include <dlfcn.h>
-#if !USE_CHECKPOINTING
+#if !USE_MPROTECT_SNAPSHOT
 static mspace sStaticSpace = NULL;
 #endif
 
 void *MYMALLOC(size_t size) {
-#if USE_CHECKPOINTING
+#if USE_MPROTECT_SNAPSHOT
        static void *(*mallocp)(size_t size);
        char *error;
        void *ptr;
@@ -34,7 +34,7 @@ void *MYMALLOC(size_t size) {
 }
 
 void MYFREE(void *ptr) {
-#if USE_CHECKPOINTING
+#if USE_MPROTECT_SNAPSHOT
        static void (*freep)(void *);
        char *error;