X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=747f7c2502529306dfc07fd32a09b72c4f5ad2e9;hb=958af9f89dff567c26582d09687fcf0a1a461bc2;hp=734d161c4610bcf5829ba2dc20425d0640944cdb;hpb=ea58bae0f4b142d118880a3eb71168604c513b07;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 734d161..747f7c2 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -173,7 +173,7 @@ void initSnapshotLibrary(unsigned int numbackingpages,
 
 	void *basemySpace = model_malloc((numheappages+1)*PAGESIZE);
 	void * pagealignedbase=PageAlignAddressUpward(basemySpace);
-	mySpace = create_mspace_with_base(pagealignedbase,  numheappages*PAGESIZE, 1 );
+	snapshot_space = create_mspace_with_base(pagealignedbase, numheappages*PAGESIZE, 1 );
 	addMemoryRegionToSnapShot(pagealignedbase, numheappages);
 	entryPoint();
 }
@@ -183,7 +183,7 @@ void initSnapshotLibrary(unsigned int numbackingpages,
 		unsigned int numheappages, VoidFuncPtr entryPoint) {
 	void *basemySpace = system_malloc((numheappages+1)*PAGESIZE);
 	void * pagealignedbase=PageAlignAddressUpward(basemySpace);
-	mySpace = create_mspace_with_base(pagealignedbase,  numheappages*PAGESIZE, 1 );
+	snapshot_space = create_mspace_with_base(pagealignedbase, numheappages * PAGESIZE, 1);
 	if (!snapshotrecord)
 		createSharedMemory();