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