small tweak

bugfix_dhb_set_datapool_entries_invalid
Robin Müller 4 months ago
parent 4374c7c4f4
commit 034eb34c2e
Signed by: muellerr
GPG Key ID: 11D4952C8CCEF814

@ -1,7 +1,6 @@
#include "fsfw/devicehandlers/DeviceHandlerBase.h"
#include <fsfw/datapool/PoolReadGuard.h>
#include "fsfw/datapool/PoolReadGuard.h"
#include "fsfw/datapoollocal/LocalPoolVariable.h"
#include "fsfw/devicehandlers/AcceptsDeviceResponsesIF.h"
#include "fsfw/devicehandlers/DeviceTmReportingWrapper.h"

Loading…
Cancel
Save