Index: benchmark/ctxswitch/cfa_thrd2.cfa
===================================================================
--- benchmark/ctxswitch/cfa_thrd2.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/ctxswitch/cfa_thrd2.cfa	(revision 0aedb015e118b2cda7cda2e8fd705450f6fc34cb)
@@ -8,5 +8,5 @@
 thread Fibre {};
 
-void main(Fibre & this) {
+void main(__attribute__((unused)) Fibre & this) {
 	while(!done) {
 		yield();