From f5c7071ecd1d14df6e1a386d3676433724a50609 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carl-Benedikt=20Kr=C3=BCger?=
 <benedikt.krueger@rwth-aachen.de>
Date: Mon, 27 Jun 2011 12:35:33 +0200
Subject: [PATCH] ...

---
 kernel/tests.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/tests.c b/kernel/tests.c
index c89e7364..83ee1f1d 100644
--- a/kernel/tests.c
+++ b/kernel/tests.c
@@ -142,7 +142,7 @@ __inline int get_core_no(void)
   pid = 12*y + 2*x + z;
   /* Add 1 to the processor ID to avoid *.*.*.0 IP addresses */
   return pid;
-}s
+}
 
 
 void* server_task(void* e)