X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.h;h=90b27844f5f8e025c68ef8be56d50f93cbdf2a72;hb=8bfe0555350d48f40f95e48f873c990a6fd4152f;hp=85ef7b0e67528be88d885e85c902723ebe47c5fa;hpb=c0f9fec33a9cae92285ba0fd598ccf13bd1efffd;p=model-checker.git

diff --git a/mymemory.h b/mymemory.h
index 85ef7b0..90b2784 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -17,6 +17,9 @@
 		MYFREE(p);\
 	}
 
+/* Empty define; represents opposite of MEMALLOC */
+#define SNAPSHOTALLOC
+
 void *MYMALLOC(size_t size);
 void MYFREE(void *ptr);
 
@@ -119,6 +122,7 @@ extern void mspace_free(mspace msp, void* mem);
 extern mspace create_mspace_with_base(void* base, size_t capacity, int locked);
 extern mspace create_mspace(size_t capacity, int locked);
 extern mspace mySpace;
+extern void * basemySpace;
 #ifdef __cplusplus
 };  /* end of extern "C" */
 #endif