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