From 05a382b1a8f3fe62d9cfd098d52ba2981dee61b6 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 6 May 2019 18:03:23 +0200
Subject: [PATCH] ports: fix 'noux' compile error with GCC 8.3.0

Fixes #3348
---
 repos/ports/src/noux/armed_timeout.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/repos/ports/src/noux/armed_timeout.h b/repos/ports/src/noux/armed_timeout.h
index e4725d5f7f..ad1e2d4bcd 100644
--- a/repos/ports/src/noux/armed_timeout.h
+++ b/repos/ports/src/noux/armed_timeout.h
@@ -23,7 +23,11 @@ class Noux::Armed_timeout : Noncopyable
 {
 	public:
 
-		struct State : Noncopyable { bool timed_out { }; };
+		struct State : Noncopyable
+		{
+			State() { }
+			bool timed_out { };
+		};
 
 	private: