Index: src/benchmark/schedext/cfa1.c
===================================================================
--- src/benchmark/schedext/cfa1.c	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedext/cfa1.c	(revision 0bdd8d2a9e8c1100fb3bf905d324c80b1337fc2e)
@@ -40,5 +40,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1);
Index: src/benchmark/schedext/cfa2.c
===================================================================
--- src/benchmark/schedext/cfa2.c	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedext/cfa2.c	(revision 0bdd8d2a9e8c1100fb3bf905d324c80b1337fc2e)
@@ -40,5 +40,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1, m2);
Index: src/benchmark/schedext/cfa4.c
===================================================================
--- src/benchmark/schedext/cfa4.c	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedext/cfa4.c	(revision 0bdd8d2a9e8c1100fb3bf905d324c80b1337fc2e)
@@ -40,5 +40,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1, m2, m3, m4);
Index: src/benchmark/schedext/upp.cc
===================================================================
--- src/benchmark/schedext/upp.cc	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedext/upp.cc	(revision 0bdd8d2a9e8c1100fb3bf905d324c80b1337fc2e)
@@ -39,5 +39,4 @@
 	argc = margc;
 	argv = margv;
-	uProcessor p;
 	T t;
 	return m.wait();
Index: src/benchmark/schedint/cfa1.c
===================================================================
--- src/benchmark/schedint/cfa1.c	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedint/cfa1.c	(revision 0bdd8d2a9e8c1100fb3bf905d324c80b1337fc2e)
@@ -43,5 +43,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1);
Index: src/benchmark/schedint/cfa2.c
===================================================================
--- src/benchmark/schedint/cfa2.c	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedint/cfa2.c	(revision 0bdd8d2a9e8c1100fb3bf905d324c80b1337fc2e)
@@ -43,5 +43,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1, m2);
Index: src/benchmark/schedint/cfa4.c
===================================================================
--- src/benchmark/schedint/cfa4.c	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedint/cfa4.c	(revision 0bdd8d2a9e8c1100fb3bf905d324c80b1337fc2e)
@@ -43,5 +43,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1, m2, m3, m4);
Index: src/benchmark/schedint/upp.cc
===================================================================
--- src/benchmark/schedint/upp.cc	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedint/upp.cc	(revision 0bdd8d2a9e8c1100fb3bf905d324c80b1337fc2e)
@@ -42,5 +42,4 @@
 	argc = margc;
 	argv = margv;
-	uProcessor p;
 	T t;
 	return m.wait();