diff options
Diffstat (limited to 'src/other_tools/root_maps/content_git_map.hpp')
| -rw-r--r-- | src/other_tools/root_maps/content_git_map.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/content_git_map.hpp b/src/other_tools/root_maps/content_git_map.hpp index f369e944..d278b44a 100644 --- a/src/other_tools/root_maps/content_git_map.hpp +++ b/src/other_tools/root_maps/content_git_map.hpp @@ -15,6 +15,7 @@ #ifndef INCLUDED_SRC_OTHER_TOOLS_ROOT_MAPS_CONTENT_GIT_MAP_HPP #define INCLUDED_SRC_OTHER_TOOLS_ROOT_MAPS_CONTENT_GIT_MAP_HPP +#include <cstddef> #include <optional> #include <utility> |