mymemory: define the "opposite" of MEMALLOC

[model-checker.git] / mymemory.h

diff --git a/mymemory.h b/mymemory.h
index 616b155a1e607144fa850a9f002c059cdd6fc61a..afaffa458300293a9b5691220ace2dc4533ef97f 100644 (file)
--- a/mymemory.h
+++ b/mymemory.h
@@ -2,6 +2,7 @@
 #define _MY_MEMORY_H
 #include <stdlib.h>
 #include <limits>
+
 #define MEMALLOC \
        void * operator new(size_t size) { \
                return MYMALLOC(size);\
@@ -16,6 +17,9 @@
                MYFREE(p);\
        }
 
+/* Empty define; represents opposite of MEMALLOC */
+#define SNAPSHOTALLOC
+
 void *MYMALLOC(size_t size);
 void MYFREE(void *ptr);
 
@@ -121,4 +125,5 @@ extern mspace mySpace;
 #ifdef __cplusplus
 };  /* end of extern "C" */
 #endif
-#endif
+
+#endif /* _MY_MEMORY_H */