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