Defining the interfaces to add various regions to snapshot

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index c7c348fd7de1216bcdf7e775346b80f1ec0e11fc..9af745d4280d865dab0c350a306e3594640a4968 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -11,6 +11,10 @@
 /*
  * Return 1 if found next thread, 0 otherwise
  */
+int num;
+int num1;
+int num2;
+
 static int thread_system_next(void)
 {
        Thread *curr, *next;