From d6e9d74038bde7491df3ef51f0b52b02132771ea Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 29 Apr 2021 11:58:44 +0200
Subject: [PATCH] nitpicker: fix build error with gcc 10

Fixes #4110
---
 repos/os/src/server/nitpicker/user_state.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/server/nitpicker/user_state.cc b/repos/os/src/server/nitpicker/user_state.cc
index 1cd641d043..1607d17a90 100644
--- a/repos/os/src/server/nitpicker/user_state.cc
+++ b/repos/os/src/server/nitpicker/user_state.cc
@@ -417,7 +417,7 @@ User_state::Handle_forget_result User_state::forget(View_owner const &owner)
 
 	return {
 		.hover_changed = update_hover_result.hover_changed
-		               | hover_vanished,
+		               || hover_vanished,
 		.focus_changed = focus_vanished,
 	};
 }