X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=9ff0ea20b169f16f09977b65a10055d2887fe73e;hb=7f305f5e6af465a60ec930832fbc6ec35bd8c693;hp=b848d024c4eab7a0efe39f6f9693c680bdae3aa6;hpb=322fd21c16209780d43872cc44bb68d38172eabc;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index b848d02..9ff0ea2 100644
--- 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