X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=59aad7220dc2388d2337f30cedb4584ecd6720e8;hb=99928ab8d61239d499f5bf45ae9a2b41595350f8;hp=0c90da839912c59ff1b5db675efec367796328bc;hpb=249a155b1ad7a7d1b53c0810cd7c85d6f99af47e;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 0c90da8..59aad72 100644
--- 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();
 }