minor tweak

This commit is contained in:
Robin Müller 2021-05-31 11:36:32 +02:00
parent 404c3821e6
commit c9836abf03
No known key found for this signature in database
GPG Key ID: 71B58F8A3CDFA9AC

View File

@ -3,8 +3,7 @@
#include "EventManagerIF.h" #include "EventManagerIF.h"
#include "eventmatching/EventMatchTree.h" #include "eventmatching/EventMatchTree.h"
#include "FSFWConfig.h"
#include <FSFWConfig.h>
#include "../serviceinterface/ServiceInterface.h" #include "../serviceinterface/ServiceInterface.h"
#include "../objectmanager/SystemObject.h" #include "../objectmanager/SystemObject.h"