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