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