diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2022-05-12 19:13:33 +0000 |
---|---|---|
committer | John Ericson <John.Ericson@Obsidian.Systems> | 2022-05-12 19:13:33 +0000 |
commit | b18720ee175d6c019be964955efc1633be1c434d (patch) | |
tree | da1daaed8a0c3c45829ba9285f328d31e09476b8 /src/libutil/types.hh | |
parent | 6b61d7722d0b24bc4b5e020a71ada442c19f495d (diff) | |
parent | d354fc30b9768ea3dc737a88b57bf5e26d98135b (diff) |
Merge remote-tracking branch 'upstream/master' into indexed-store-path-outputs
Diffstat (limited to 'src/libutil/types.hh')
-rw-r--r-- | src/libutil/types.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libutil/types.hh b/src/libutil/types.hh index 00ba567c6..6bcbd7e1d 100644 --- a/src/libutil/types.hh +++ b/src/libutil/types.hh @@ -5,6 +5,7 @@ #include <list> #include <set> #include <string> +#include <limits> #include <map> #include <variant> #include <vector> |