diff options
| author | Stefan Radomski <github@mintwerk.de> | 2017-01-23 21:59:42 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2017-01-23 21:59:42 (GMT) |
| commit | b8a20c656537e4be748c3485d2c9541bd51e2b3d (patch) | |
| tree | 705cb79ca7d409a31819da314d6ecdcbadee7355 /src | |
| parent | d2f380e8cd90198be3a015be57187916879ac7cd (diff) | |
| download | uscxml-b8a20c656537e4be748c3485d2c9541bd51e2b3d.zip uscxml-b8a20c656537e4be748c3485d2c9541bd51e2b3d.tar.gz uscxml-b8a20c656537e4be748c3485d2c9541bd51e2b3d.tar.bz2 | |
Some more headers to include
Diffstat (limited to 'src')
| -rw-r--r-- | src/uscxml/plugins/invoker/dirmon/DirMonInvoker.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/uscxml/plugins/invoker/dirmon/DirMonInvoker.h b/src/uscxml/plugins/invoker/dirmon/DirMonInvoker.h index 31e535a..dffbe14 100644 --- a/src/uscxml/plugins/invoker/dirmon/DirMonInvoker.h +++ b/src/uscxml/plugins/invoker/dirmon/DirMonInvoker.h @@ -26,6 +26,7 @@ #include <map> #include <set> #include <thread> +#include <mutex> #include <sys/stat.h> #ifdef BUILD_AS_PLUGINS |