diff options
Diffstat (limited to 'stdexcept.patch')
| -rw-r--r-- | stdexcept.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/stdexcept.patch b/stdexcept.patch new file mode 100644 index 000000000000..95c3556ca761 --- /dev/null +++ b/stdexcept.patch @@ -0,0 +1,12 @@ +diff --git a/src/support/lockedpool.cpp b/src/support/lockedpool.cpp +index 05d872499..aff0e648b 100644 +--- a/src/support/lockedpool.cpp ++++ b/src/support/lockedpool.cpp +@@ -29,6 +29,8 @@ + + #include <algorithm> + ++#include <stdexcept> ++ + LockedPoolManager* LockedPoolManager::_instance = nullptr; + std::once_flag LockedPoolManager::init_flag; |