From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 04:31:11 +0000 (-0700)
Subject: main: what are these variables for? (subramanian...)
X-Git-Tag: pldi2013~423
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=936b81aa71ea88fb0336594916ff4820c15ad9a5;p=model-checker.git

main: what are these variables for? (subramanian...)
---

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