Index: src/synch/rwlock.c
===================================================================
--- src/synch/rwlock.c	(revision 25f62cdf60b1b680ae1139ed1f9e26ec50ee224f)
+++ src/synch/rwlock.c	(revision ea3fb2e58368cb95b4d9ba4e162af9d94a98b17a)
@@ -185,8 +185,8 @@
 				break;
 			case ESYNCH_OK_ATOMIC:
-				panic(PANIC "_mutex_lock_timeout()==ESYNCH_OK_ATOMIC");
+				panic("_mutex_lock_timeout()==ESYNCH_OK_ATOMIC");
 				break;
 			dafault:
-				panic(PANIC "invalid ESYNCH");
+				panic("invalid ESYNCH");
 				break;
 		}