fix page alignment issue...

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 9d598af7dfec11d77add4ecf02dbc845df924e00..a825bb940f66f4331e723eadd8983f9bd8d05e70 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -52,6 +52,8 @@ void MYFREE(void *ptr) {
 #endif
 }
 mspace mySpace = NULL;
+void * basemySpace = NULL;
+
 void *malloc( size_t size ) {
        return mspace_malloc( mySpace, size );
 }