From 4e9ff5ad7b63ffb503f6dfb565edb285936737e1 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 7 Feb 2018 00:07:31 +0100 Subject: [PATCH] trace_subject_reporter: fix missing include Issue #2654 --- repos/os/src/app/trace_subject_reporter/main.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/repos/os/src/app/trace_subject_reporter/main.cc b/repos/os/src/app/trace_subject_reporter/main.cc index 9ed3a33948..7891fd20ad 100644 --- a/repos/os/src/app/trace_subject_reporter/main.cc +++ b/repos/os/src/app/trace_subject_reporter/main.cc @@ -12,6 +12,7 @@ */ /* Genode includes */ +#include #include #include #include