From 89ba79cdb4e353d085c9aa8198b348ec9b4abefb Mon Sep 17 00:00:00 2001
From: Geoffrey Challen <challen@buffalo.edu>
Date: Thu, 31 Dec 2015 12:50:54 -0500
Subject: [PATCH] Fix to sy4.

---
 kern/test/synchtest.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kern/test/synchtest.c b/kern/test/synchtest.c
index b08eca7..b2c72d6 100644
--- a/kern/test/synchtest.c
+++ b/kern/test/synchtest.c
@@ -395,7 +395,7 @@ sleepthread(void *junk1, unsigned long junk2)
 			V(gatesem);
 			random_yielder(4);
 			spinlock_acquire(&status_lock);
-			testval1++;
+			testval4++;
 			spinlock_release(&status_lock);
 			cv_wait(testcvs[i], testlocks[i]);
 			random_yielder(4);