X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=54885ca12deb46a50eba387a66edc58fba52b5ea;hb=5f85e1b11c1578a4b6fb64c18285d1d627d732df;hp=95459be561af6b7bab74d50610d470f1005c4464;hpb=b46e898002bf7db0b50e4e6ad5e50dadfc0caa8c;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index 95459be..54885ca 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -142,10 +142,6 @@ void model_free(void *ptr) {
 /** @brief Global mspace reference for the snapshotting heap */
 mspace mySpace = NULL;
 
-/** @brief Global reference to the unaligned memory address that was malloc'd
- * for the snapshotting heap */
-void *basemySpace = NULL;
-
 /** Bootstrap allocation.  Problem is that the dynamic linker calls
  *  require calloc to work and calloc requires the dynamic linker to
  *	work.  */