snapshot: remove references to libmymemory.so

[model-checker.git] / snapshot.h

diff --git a/snapshot.h b/snapshot.h
index c737dece2f1a7d5390c224e56d41144ae6c420c2..a0f2757dc19496ab7d1155bfba983954127d7b14 100644 (file)
--- a/snapshot.h
+++ b/snapshot.h
@@ -2,10 +2,10 @@
 #define _SNAPSHOT_H
 #define PAGESIZE 4096
 #define USE_CHECKPOINTING 1
-#define DEBUG 1
+
 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 );