Index: benchmark/schedint/cfa1.cfa
===================================================================
--- benchmark/schedint/cfa1.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/schedint/cfa1.cfa	(revision c93fd72fa19e80b4a77eff661e6a997312c3ebf5)
@@ -19,5 +19,5 @@
 	go = 1;
 	BENCH(
-		for ( i; n ) {
+		for ( i; times ) {
 			wait(c);
 		},
Index: benchmark/schedint/cfa2.cfa
===================================================================
--- benchmark/schedint/cfa2.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/schedint/cfa2.cfa	(revision c93fd72fa19e80b4a77eff661e6a997312c3ebf5)
@@ -19,5 +19,5 @@
 	go = 1;
 	BENCH(
-		for ( i; n ) {
+		for ( i; times ) {
 			wait(c);
 		},
Index: benchmark/schedint/cfa4.cfa
===================================================================
--- benchmark/schedint/cfa4.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/schedint/cfa4.cfa	(revision c93fd72fa19e80b4a77eff661e6a997312c3ebf5)
@@ -19,5 +19,5 @@
 	go = 1;
 	BENCH(
-		for ( i; n ) {
+		for ( i; times ) {
 			wait(c);
 		},
Index: benchmark/schedint/upp.cc
===================================================================
--- benchmark/schedint/upp.cc	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/schedint/upp.cc	(revision c93fd72fa19e80b4a77eff661e6a997312c3ebf5)
@@ -15,5 +15,5 @@
 		go = 1;
 		BENCH(
-			for (size_t i = 0; i < n; i++) {
+			for (size_t i = 0; i < times; i++) {
 				cond.wait();
 			},