diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-04-13 17:04:54 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-04-13 17:04:54 (GMT) |
commit | 5342ef51367116726454ebdbd4bc27f0de3354b2 (patch) | |
tree | 506ee7b8ce873b6024baf59b3cafecc4fb3c9770 /src/uscxml/concurrency/tinythread.h | |
parent | f52a7dce4ada921094ab6bff7df7faa81d7a3924 (diff) | |
download | uscxml-5342ef51367116726454ebdbd4bc27f0de3354b2.zip uscxml-5342ef51367116726454ebdbd4bc27f0de3354b2.tar.gz uscxml-5342ef51367116726454ebdbd4bc27f0de3354b2.tar.bz2 |
Windows port compiles again
Diffstat (limited to 'src/uscxml/concurrency/tinythread.h')
-rw-r--r-- | src/uscxml/concurrency/tinythread.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/uscxml/concurrency/tinythread.h b/src/uscxml/concurrency/tinythread.h index 9dd2fcb..71edf6c 100644 --- a/src/uscxml/concurrency/tinythread.h +++ b/src/uscxml/concurrency/tinythread.h @@ -59,6 +59,7 @@ freely, subject to the following restrictions: #if !defined(_TTHREAD_PLATFORM_DEFINED_) #if defined(_WIN32) || defined(__WIN32__) || defined(__WINDOWS__) #define _TTHREAD_WIN32_ +#include <boost/cstdint.hpp> #else #define _TTHREAD_POSIX_ #endif |