snapshot: don't need any snapshotting space for fork-based

[model-checker.git] / snapshot.cc

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