From d841fbb82e4cd6868e8c37903c388f619af86f52 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 16 Mar 2015 16:07:24 +0100
Subject: [PATCH] Add missing header in base/signal.h

---
 repos/base/include/base/signal.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/base/include/base/signal.h b/repos/base/include/base/signal.h
index bb52d3c14..a6f8852c8 100644
--- a/repos/base/include/base/signal.h
+++ b/repos/base/include/base/signal.h
@@ -18,6 +18,7 @@
 #define _INCLUDE__BASE__SIGNAL_H__
 
 #include <util/noncopyable.h>
+#include <util/list.h>
 #include <base/semaphore.h>
 #include <signal_session/signal_session.h>