X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=a5f292f063e31a7eb45da0e0a8c916dbb6e9674c;hb=127a76db778e47f861ad967985f2dd18a93582f6;hp=747f7c2502529306dfc07fd32a09b72c4f5ad2e9;hpb=958af9f89dff567c26582d09687fcf0a1a461bc2;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 747f7c2..a5f292f 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -181,9 +181,6 @@ void initSnapshotLibrary(unsigned int numbackingpages,
 void initSnapshotLibrary(unsigned int numbackingpages,
 		unsigned int numsnapshots, unsigned int nummemoryregions,
 		unsigned int numheappages, VoidFuncPtr entryPoint) {
-	void *basemySpace = system_malloc((numheappages+1)*PAGESIZE);
-	void * pagealignedbase=PageAlignAddressUpward(basemySpace);
-	snapshot_space = create_mspace_with_base(pagealignedbase, numheappages * PAGESIZE, 1);
 	if (!snapshotrecord)
 		createSharedMemory();