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: