X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.h;h=a2b73cb228aacd80e470e00610a30773948171c3;hb=5f85e1b11c1578a4b6fb64c18285d1d627d732df;hp=87ee0e92b5bc863b344302a8ea6888571b21be76;hpb=b46e898002bf7db0b50e4e6ad5e50dadfc0caa8c;p=model-checker.git

diff --git a/mymemory.h b/mymemory.h
index 87ee0e9..a2b73cb 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -153,7 +153,6 @@ extern void* mspace_calloc(mspace msp, size_t n_elements, size_t elem_size);
 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