From d28b34b1fec81b1f3ef6f94a385458ed1c314f59 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 1 Nov 2012 17:06:05 +0100
Subject: [PATCH] Return value of correct type, reported by gcc-4.7

---
 base/src/core/include/irq_proxy.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/src/core/include/irq_proxy.h b/base/src/core/include/irq_proxy.h
index 4d95037939..a20cb43a8e 100644
--- a/base/src/core/include/irq_proxy.h
+++ b/base/src/core/include/irq_proxy.h
@@ -209,7 +209,7 @@ class Genode::Irq_proxy : public THREAD,
 
 			/* try to create proxy */
 			if (!irq_alloc || irq_alloc->alloc_addr(1, irq_number) != Range_allocator::ALLOC_OK)
-				return false;
+				return 0;
 
 			PROXY *new_proxy = new (env()->heap()) PROXY(irq_number);
 			proxies.insert(new_proxy);