diff options
| author | Maksim Denisov <denisov.maksim@huawei.com> | 2024-09-04 15:22:13 +0200 |
|---|---|---|
| committer | Maksim Denisov <denisov.maksim@huawei.com> | 2024-09-09 13:07:13 +0200 |
| commit | cc1f3d4e114cfa5d72c156e57f646fc4cc561dfc (patch) | |
| tree | 1e7f609b729717a77e6103030f12b34784d08bc9 /src | |
| parent | 9fbc8d2985fbb930fd02498238a3fb2ddfb4512e (diff) | |
| download | justbuild-cc1f3d4e114cfa5d72c156e57f646fc4cc561dfc.tar.gz | |
ExecutionResponse: a missing header
Diffstat (limited to 'src')
| -rw-r--r-- | src/buildtool/execution_api/common/execution_response.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buildtool/execution_api/common/execution_response.hpp b/src/buildtool/execution_api/common/execution_response.hpp index 57e1f087..ca1f34a1 100644 --- a/src/buildtool/execution_api/common/execution_response.hpp +++ b/src/buildtool/execution_api/common/execution_response.hpp @@ -18,6 +18,7 @@ #include <memory> #include <string> #include <unordered_map> +#include <unordered_set> #include <vector> #include "gsl/gsl" |