Index: src/benchmark/schedext/cfa1.c
===================================================================
--- src/benchmark/schedext/cfa1.c	(revision 2c1830a6adc6b436fec2a3d329890adb4740944d)
+++ src/benchmark/schedext/cfa1.c	(revision bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -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 bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -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 bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -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 bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -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 bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -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 bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -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 bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -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 bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -42,5 +42,4 @@
 	argc = margc;
 	argv = margv;
-	uProcessor p;
 	T t;
 	return m.wait();