diff options
| author | João Barbosa <[email protected]> | 2020-03-15 22:43:39 +0000 |
|---|---|---|
| committer | João Barbosa <[email protected]> | 2020-03-15 22:43:39 +0000 |
| commit | 686c5456f2fcf7e301907223d16a85f7eb378c6c (patch) | |
| tree | d213e5d9b67f3753d84da0440624c42a944d7d40 | |
| parent | Merge #18345: test: Bump timeouts to avoid valgrind failures (diff) | |
| download | discoin-686c5456f2fcf7e301907223d16a85f7eb378c6c.tar.xz discoin-686c5456f2fcf7e301907223d16a85f7eb378c6c.zip | |
Fix missing header in sync.h
| -rw-r--r-- | src/sync.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sync.h b/src/sync.h index 204734c27..ead2cdc67 100644 --- a/src/sync.h +++ b/src/sync.h @@ -10,9 +10,9 @@ #include <util/macros.h> #include <condition_variable> -#include <thread> #include <mutex> - +#include <string> +#include <thread> //////////////////////////////////////////////// // // |