From bc3ba380aea7008ed777eac7d8fc1f5879da38cb Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 27 Apr 2015 10:35:37 +0200
Subject: [PATCH] nova: fix check in irq_session destruction

Issue #1456
---
 repos/base-nova/src/core/irq_session_component.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/base-nova/src/core/irq_session_component.cc b/repos/base-nova/src/core/irq_session_component.cc
index 3e1615e69d..908803c45c 100644
--- a/repos/base-nova/src/core/irq_session_component.cc
+++ b/repos/base-nova/src/core/irq_session_component.cc
@@ -215,7 +215,8 @@ Irq_session_component::Irq_session_component(Range_allocator *irq_alloc,
 
 Irq_session_component::~Irq_session_component()
 {
-	if (_proxy) return;
+	if (!_proxy)
+		return;
 
 	if (_irq_sigh.valid())
 		_proxy->remove_sharer(&_irq_sigh);