X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=e456ac6b326469a85383af6a97a422e9a2c65f92;hb=810306cb85accaaace9a50f174264f105991230b;hp=0d73c68dbe1f03ac5cd05b5496cd50e66581a42b;hpb=96598fb588eae2fa5050ab83cb3e362f2d6cbbec;p=c11tester.git

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