diff --git a/kernel/watch_queue.c b/kernel/watch_queue.c
index 8b28fad1319bd0d6bdfb30db651b264b024ae64f..bb9962b33f95cec8cd6203f62fe3adf1fca1a480 100644
--- a/kernel/watch_queue.c
+++ b/kernel/watch_queue.c
@@ -227,7 +227,7 @@ void __post_watch_notification(struct watch_list *wlist,
 
 		if (lock_wqueue(wqueue)) {
 			post_one_notification(wqueue, n);
-			unlock_wqueue(wqueue);;
+			unlock_wqueue(wqueue);
 		}
 	}