X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.h;h=90b27844f5f8e025c68ef8be56d50f93cbdf2a72;hb=d88196987e572dcb561e8b1eabb3409c4491d460;hp=afaffa458300293a9b5691220ace2dc4533ef97f;hpb=451ad13b5c9ef4ddde399d05fef48181cbd51109;p=model-checker.git

diff --git a/mymemory.h b/mymemory.h
index afaffa4..90b2784 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -122,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