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

diff --git a/main.cc b/main.cc
index 800b873e8d8a2f8295d96879eed0b21bd8087ab8..e49acfcf18566959c21e5e616345be75b215b377 100644 (file)
--- 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;