my changes

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index 4de59674c8a2410fa6717c656e8746636ec3b6e1..800b873e8d8a2f8295d96879eed0b21bd8087ab8 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -5,6 +5,7 @@
 /* global "model" object */
 #include "model.h"
 #include "snapshot.h"
+#include "snapshot-interface.h"
 
 /*
  * Return 1 if found next thread, 0 otherwise
@@ -45,6 +46,9 @@ static void thread_wait_finish(void) {
 void real_main() {
   thrd_t user_thread;
   ucontext_t main_context;
+
+  //Create the singleton snapshotStack object
+  snapshotObject = new snapshotStack();
   
   model = new ModelChecker();