Fix duplicate include (#181)

This commit is contained in:
Miguel Magno 2025-01-23 11:27:19 -03:00 committed by GitHub
parent b13502170e
commit 9fb8d45b2e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -9,7 +9,6 @@
#include "EventFlag.h" #include "EventFlag.h"
#include "kernel/Kernel.h" #include "kernel/Kernel.h"
#include "kernel/critical/Critical.h" #include "kernel/critical/Critical.h"
#include "kernel/Kernel.h"
#include "Log.h" #include "Log.h"
#include "Mutex.h" #include "Mutex.h"
#include "Thread.h" #include "Thread.h"