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