fixing the segfault

[model-checker.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index b848d024c4eab7a0efe39f6f9693c680bdae3aa6..9ff0ea20b169f16f09977b65a10055d2887fe73e 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -133,8 +133,8 @@ void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots
     printf("SIGACTION CANNOT BE INSTALLED\n");
     exit(-1);
   }
-  initSnapShotRecord(numbackingpages, numsnapshots, nummemoryregions);
   mySpace = create_mspace( numheappages*PAGESIZE, 1 );
+  initSnapShotRecord(numbackingpages, numsnapshots, nummemoryregions);
   addMemoryRegionToSnapShot(mySpace, numheappages);
   entryPoint();
 #else