mirror of
https://github.com/mozilla-firefox/firefox
synced 2026-08-12 12:35:33 +00:00
serge-sans-paille
ddb4bfba50
Backport of https://github.com/PLSysSec/rlbox/pull/59 Differential Revision: https://phabricator.services.mozilla.com/D276422
19 lines
473 B
Diff
19 lines
473 B
Diff
diff --git a/include/rlbox_sandbox.hpp b/include/rlbox_sandbox.hpp
|
|
index 63995c89adf2e..eae1d2aa19da2 100644
|
|
--- a/include/rlbox_sandbox.hpp
|
|
+++ b/include/rlbox_sandbox.hpp
|
|
@@ -11,12 +11,12 @@
|
|
#include <limits>
|
|
#include <map>
|
|
#include <mutex>
|
|
+#include <string>
|
|
#ifndef RLBOX_USE_CUSTOM_SHARED_LOCK
|
|
# include <shared_mutex>
|
|
#endif
|
|
#ifdef RLBOX_MEASURE_TRANSITION_TIMES
|
|
# include <sstream>
|
|
-# include <string>
|
|
#endif
|
|
#include <stdint.h>
|
|
#include <type_traits>
|