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/util/URL.h | |
parent | e7747902e509cdbf895af3a7bc2025fe8193e3f7 (diff) | |
download | uscxml-ca52d7842222619c82683ad235a63db6af9779d3.zip uscxml-ca52d7842222619c82683ad235a63db6af9779d3.tar.gz uscxml-ca52d7842222619c82683ad235a63db6af9779d3.tar.bz2 |
Add missing mutex includes
Diffstat (limited to 'src/uscxml/util/URL.h')
-rw-r--r-- | src/uscxml/util/URL.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uscxml/util/URL.h b/src/uscxml/util/URL.h index b3f486a..c83e3b1 100644 --- a/src/uscxml/util/URL.h +++ b/src/uscxml/util/URL.h @@ -30,7 +30,7 @@ #include <list> #include <thread> #include <condition_variable> - +#include <mutex> namespace uscxml { class URL; |