From 2bdf0e70e921b5b209704e132e9d723319a42b5e Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 6 Dec 2013 12:04:48 +0100
Subject: [PATCH] hw: fix bug in Kernel::Thread::_print_activity

ref #989
---
 base-hw/src/core/kernel/thread.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index 03a8fbbcd..3ec40a867 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -647,7 +647,7 @@ void Thread::_print_activity()
 		Genode::printf("\033[32m await SIG %u\033[0m", receiver_id);
 		break; }
 	case AWAITS_SIGNAL_CONTEXT_KILL: {
-		unsigned const context_id = Signal_receiver_killer::receiver()->id();
+		unsigned const context_id = Signal_context_killer::context()->id();
 		Genode::printf("\033[32m await SCK %u\033[0m", context_id);
 		break; }
 	case AWAITS_SIGNAL_RECEIVER_KILL: {