diff options
| author | João Barbosa <joao.paulo.barbosa@gmail.com> | 2020-03-15 22:43:39 +0000 |
|---|---|---|
| committer | João Barbosa <joao.paulo.barbosa@gmail.com> | 2020-03-15 22:43:39 +0000 |
| commit | 686c5456f2fcf7e301907223d16a85f7eb378c6c (patch) | |
| tree | d213e5d9b67f3753d84da0440624c42a944d7d40 /src | |
| parent | d402c1e4d3e812341176e0948d64ff126f9ec3c1 (diff) | |
Fix missing header in sync.h
Diffstat (limited to 'src')
| -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 204734c273..ead2cdc67b 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> //////////////////////////////////////////////// // // |