Index: benchmark/ctxswitch/cfa_cor.cfa
===================================================================
--- benchmark/ctxswitch/cfa_cor.cfa	(revision 8633485b53ccf10786bcb6ce270cac069166b0d7)
+++ benchmark/ctxswitch/cfa_cor.cfa	(revision 62f96ae7086cb4d998d48b3b2b4534d769a63aa6)
@@ -7,5 +7,5 @@
 void main( __attribute__((unused)) C & ) {
 	while () {
-		suspend();
+		suspend;
 	}
 }