X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.h;h=a0f2757dc19496ab7d1155bfba983954127d7b14;hb=322fd21c16209780d43872cc44bb68d38172eabc;hp=16d9cd76a30dd3e6d99874b2fb565813b31241b1;hpb=6a3cefc5fc5bcae7b7f94dd9e6199f6b3efdd76e;p=model-checker.git

diff --git a/snapshot.h b/snapshot.h
index 16d9cd7..a0f2757 100644
--- a/snapshot.h
+++ b/snapshot.h
@@ -5,7 +5,7 @@
 
 typedef unsigned int snapshot_id;
 typedef void (*MyFuncPtr)();
-void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, MyFuncPtr entryPoint);
+void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, unsigned int numheappages, MyFuncPtr entryPoint);
 
 void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );