Index: tests/concurrency/readyQ/leader_spin.cfa
===================================================================
--- tests/concurrency/readyQ/leader_spin.cfa	(revision b2fa3c21fd80cbfee17d58ed9945fc3138b226d8)
+++ tests/concurrency/readyQ/leader_spin.cfa	(revision 190a833c2baaf0fb88c72cb00720c5ab476197bc)
@@ -97,5 +97,5 @@
 
 // ==================================================
-int main(int argc, char * argv[]) {
+int main() {
 	lead_idx = 0;
 	leader = prng( lead_rng, nthreads );