diff --git a/src/mx/tasking/profiling/profiling_task.cpp b/src/mx/tasking/profiling/profiling_task.cpp index b78076c..8c57ec7 100644 --- a/src/mx/tasking/profiling/profiling_task.cpp +++ b/src/mx/tasking/profiling/profiling_task.cpp @@ -1,5 +1,4 @@ #include "profiling_task.h" -#include /* TODO: Replace fstream with Genode FS session, fstream not supported yet by Genode */ #include #include #include