diff options
author | Matthias Gabriel <matthias.gabriel@etit.tu-chemnitz.de> | 2016-12-15 09:29:10 (GMT) |
---|---|---|
committer | Matthias Gabriel <matthias.gabriel@etit.tu-chemnitz.de> | 2016-12-15 09:29:10 (GMT) |
commit | ca52d7842222619c82683ad235a63db6af9779d3 (patch) | |
tree | 902c0cf17971e7e8233c3aa830325af1ecb06658 /src/uscxml/debug | |
parent | e7747902e509cdbf895af3a7bc2025fe8193e3f7 (diff) | |
download | uscxml-ca52d7842222619c82683ad235a63db6af9779d3.zip uscxml-ca52d7842222619c82683ad235a63db6af9779d3.tar.gz uscxml-ca52d7842222619c82683ad235a63db6af9779d3.tar.bz2 |
Add missing mutex includes
Diffstat (limited to 'src/uscxml/debug')
-rw-r--r-- | src/uscxml/debug/DebugSession.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/uscxml/debug/DebugSession.h b/src/uscxml/debug/DebugSession.h index c5ed7e5..9224163 100644 --- a/src/uscxml/debug/DebugSession.h +++ b/src/uscxml/debug/DebugSession.h @@ -28,6 +28,7 @@ #include <set> #include <thread> #include <condition_variable> +#include <mutex> namespace uscxml { |