X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=e8518182c55a71800637c981f1d3ad0db0cc3b2d;hb=84e24d516d4e9dbd30f1fff7e9a185d1540d20eb;hp=fcc98db547e67633bb8b0c665327f3402edfdea0;hpb=dd0190cef49ef760f8d86a6e92dd6eeb07197854;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index fcc98db..e851818 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -31,11 +31,11 @@ void *MYMALLOC(size_t size) {
 	ptr = mallocp(size);
 	return ptr;
 #else
-	if( !sTheRecord ){
-		createSharedLibrary();
+	if( !snapshotrecord) {
+		createSharedMemory();
 	}
 	if( NULL == sStaticSpace )
-		sStaticSpace = create_mspace_with_base( ( void * )( sTheRecord->mSharedMemoryBase ), SHARED_MEMORY_DEFAULT -sizeof( struct Snapshot ), 1 );
+		sStaticSpace = create_mspace_with_base( ( void * )( snapshotrecord->mSharedMemoryBase ), SHARED_MEMORY_DEFAULT -sizeof( struct SnapShot ), 1 );
 	return mspace_malloc( sStaticSpace, size );
 #endif
 }