diff options
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.hpp')
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.hpp b/src/other_tools/root_maps/commit_git_map.hpp index 4bf4100b..077ed74b 100644 --- a/src/other_tools/root_maps/commit_git_map.hpp +++ b/src/other_tools/root_maps/commit_git_map.hpp @@ -19,6 +19,7 @@ #include <utility> #include <vector> +#include "gsl/gsl" #include "nlohmann/json.hpp" #include "src/buildtool/common/user_structs.hpp" #include "src/buildtool/execution_api/common/execution_api.hpp" |