diff --git a/kernel/watch_queue.c b/kernel/watch_queue.c
index dcf1e676797d58edefc643b4233b55263afc7823..e5d22af43fa0b26b9e8855ccc133ae9a421ee905 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);
 		}
 	}