From fb7282f47ab793983148952eded56ce364a6fd1f Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 8 Jun 2022 09:32:38 +0200
Subject: [PATCH] base: beautify error message if not mutex owner

---
 repos/base/src/lib/base/mutex.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/src/lib/base/mutex.cc b/repos/base/src/lib/base/mutex.cc
index f7bcfd8357..520617dec1 100644
--- a/repos/base/src/lib/base/mutex.cc
+++ b/repos/base/src/lib/base/mutex.cc
@@ -29,7 +29,7 @@ void Genode::Mutex::release()
 {
 	Lock::Applicant myself(Thread::myself());
 	if (!_lock.lock_owner(myself)) {
-		Genode::error("denied non mutex owner the release, mutex=",
+		Genode::error("release denied, caller not owner, mutex=",
 		              this, ", return ip=", __builtin_return_address(0));
 		return;
 	}