rename again (snapshot_space -> user_snapshot_space)

[c11tester.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index 0c90da839912c59ff1b5db675efec367796328bc..59aad7220dc2388d2337f30cedb4584ecd6720e8 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -172,7 +172,7 @@ void initSnapshotLibrary(unsigned int numbackingpages,
 
        void *basemySpace = model_malloc((numheappages+1)*PAGESIZE);
        void * pagealignedbase=PageAlignAddressUpward(basemySpace);
-       snapshot_space = create_mspace_with_base(pagealignedbase, numheappages*PAGESIZE, 1 );
+       user_snapshot_space = create_mspace_with_base(pagealignedbase, numheappages * PAGESIZE, 1);
        addMemoryRegionToSnapShot(pagealignedbase, numheappages);
        entryPoint();
 }