From b8a20c656537e4be748c3485d2c9541bd51e2b3d Mon Sep 17 00:00:00 2001
From: Stefan Radomski <github@mintwerk.de>
Date: Mon, 23 Jan 2017 22:59:42 +0100
Subject: Some more headers to include

---
 src/uscxml/plugins/invoker/dirmon/DirMonInvoker.h | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v0.12