let us set the size of the heap in a sane way

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index e629f6092992ce8fb59a80a7e14388b7b7724143..4de59674c8a2410fa6717c656e8746636ec3b6e1 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -78,5 +78,5 @@ int main(int numargs, char ** args) {
   main_args=args;
 
   /* Let's jump in quickly and start running stuff */
-  initSnapShotLibrary(10000 /*int numbackingpages*/, 1024 /*unsigned int numsnapshots*/, 1024 /*unsigned int nummemoryregions*/ , &real_main /*MyFuncPtr entryPoint*/);
+  initSnapShotLibrary(10000 /*int numbackingpages*/, 1024 /*unsigned int numsnapshots*/, 1024 /*unsigned int nummemoryregions*/ , 1000 /*int numheappages*/, &real_main /*MyFuncPtr entryPoint*/);
 }