rename 'mySpace' to 'snapshot_space'

[c11tester.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index 734d161c4610bcf5829ba2dc20425d0640944cdb..747f7c2502529306dfc07fd32a09b72c4f5ad2e9 100644 (file)
--- 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();