diff options
Diffstat (limited to 'boost_1.81.patch')
| -rw-r--r-- | boost_1.81.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/boost_1.81.patch b/boost_1.81.patch new file mode 100644 index 000000000000..2858cfe20248 --- /dev/null +++ b/boost_1.81.patch @@ -0,0 +1,10 @@ +--- a/src/cpp/core/include/core/Thread.hpp ++++ b/src/cpp/core/include/core/Thread.hpp +@@ -17,7 +17,7 @@ + #define CORE_THREAD_HPP + + #include <queue> +- ++#include <set> + #include <boost/utility.hpp> + #include <boost/function.hpp> |