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