diff options
author | Tor Egge <Tor.Egge@online.no> | 2022-02-27 21:20:32 +0100 |
---|---|---|
committer | Tor Egge <Tor.Egge@online.no> | 2022-02-27 21:20:32 +0100 |
commit | 1fdc33b04d25fee097eab8b8614569992a0a4bf4 (patch) | |
tree | 3948dcf0d0661eb2139bda522bcfc2307b583644 /staging_vespalib | |
parent | e5208095476af8055d85cbabaf015c132b175cc1 (diff) |
Add include to get declaration for std::mutex (staging_vespalib).
Diffstat (limited to 'staging_vespalib')
-rw-r--r-- | staging_vespalib/src/vespa/vespalib/util/scheduledexecutor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/staging_vespalib/src/vespa/vespalib/util/scheduledexecutor.h b/staging_vespalib/src/vespa/vespalib/util/scheduledexecutor.h index 1be49f6ff45..2c29ff52432 100644 --- a/staging_vespalib/src/vespa/vespalib/util/scheduledexecutor.h +++ b/staging_vespalib/src/vespa/vespalib/util/scheduledexecutor.h @@ -3,6 +3,7 @@ #include <vespa/vespalib/util/executor.h> #include <vespa/vespalib/util/time.h> +#include <mutex> #include <vector> class FNET_Transport; |