From b922dc5c10586d1f3045e45197490192ddfa66d7 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 22 Jul 2021 14:57:29 +0200
Subject: [PATCH] base-hw: fix self-include in kernel/types.h

That this header apparently used to include itself didn't cause any problems
so far but still remained bad style.

Ref #4217
---
 repos/base-hw/include/kernel/types.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/repos/base-hw/include/kernel/types.h b/repos/base-hw/include/kernel/types.h
index ef28b7da3e..4c8c2420e4 100644
--- a/repos/base-hw/include/kernel/types.h
+++ b/repos/base-hw/include/kernel/types.h
@@ -15,7 +15,6 @@
 #define _KERNEL__TYPES_H_
 
 /* base-hw includes */
-#include <kernel/types.h>
 #include <kernel/interface_support.h>
 
 namespace Kernel {