Index: src/tests/concurrent/preempt.c
===================================================================
--- src/tests/concurrent/preempt.c	(revision a83ffa4028911fea2bf6ed4bcb989b611f3c6a1e)
+++ src/tests/concurrent/preempt.c	(revision 13073be42dba9d23e1eb3322d700f265381ae024)
@@ -44,5 +44,5 @@
 
 int main(int argc, char* argv[]) {
-	// processor p;
+	processor p;
 	{
 		worker_t w0 = 0;