Index: test/synch/semaphore2/test.c
===================================================================
--- test/synch/semaphore2/test.c	(revision 2a46e10bda4f9665e1b831254e35ea3e01b97563)
+++ test/synch/semaphore2/test.c	(revision 8b80b72bc933011825a2ff4663337fac00213667)
@@ -93,5 +93,4 @@
 void test(void)
 {
-	context_t ctx;
 	__u32 i, k;