Index: kernel/genarch/src/srln/srln.c
===================================================================
--- kernel/genarch/src/srln/srln.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/srln/srln.c	(revision 1cac8753dba1dcd1e470087cba35d1d4f93975a2)
@@ -129,6 +129,6 @@
 srln_instance_t *srln_init(void)
 {
-	srln_instance_t *instance
-	    = malloc(sizeof(srln_instance_t), FRAME_ATOMIC);
+	srln_instance_t *instance =
+	    malloc(sizeof(srln_instance_t), FRAME_ATOMIC);
 	if (instance) {
 		instance->thread = thread_create(ksrln, (void *) instance,