Index: kernel/test/synch/rwlock4/test.c
===================================================================
--- kernel/test/synch/rwlock4/test.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/test/synch/rwlock4/test.c	(revision ee454eb5d8b6afbdf2584335a5838d1980e66cb9)
@@ -129,7 +129,5 @@
 	rwlock_initialize(&rwlock);
 	
-
-	
-	for (; ;) {
+	for (;;) {
 		thread_t *thrd;