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