From c81b9168104be5fceebf35674b867bb965e95d43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20M=C3=BCller?= Date: Tue, 26 Jul 2022 18:29:23 +0200 Subject: [PATCH] Removed comment. --- src/mx/tasking/profiling/profiling_task.cpp | 1 - 1 file changed, 1 deletion(-) 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