fix missing include

pull/541/head
Stanislaw Halik 6 years ago
parent d791dcfbf3
commit 59d96d808e

@ -4,6 +4,7 @@
#include <stdint.h> #include <stdint.h>
#include <vector> #include <vector>
#include <memory> #include <memory>
#include <string>
#include <OpenThreads/Thread> #include <OpenThreads/Thread>
#include <OpenThreads/Mutex> #include <OpenThreads/Mutex>

Loading…
Cancel
Save