diff options
author | Robert Adam <dev@robert-adam.de> | 2022-05-27 12:02:38 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-27 12:02:38 +0300 |
commit | dd5df45313a937359285327f556557159bab758e (patch) | |
tree | 237d3355b660e43e174bc0a1ff6a5b0e7de6fd57 | |
parent | deace4ca92e7a6fb96fa235b0107bf2b72a21190 (diff) | |
parent | b92d82d2b26426562a9c6b8a72ef5bd8035d5a10 (diff) |
Merge PR #5703: BUILD: Fix missing <cstdint> include
-rw-r--r-- | plugins/Module.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/Module.h b/plugins/Module.h index 3fbaabb79..454d9039e 100644 --- a/plugins/Module.h +++ b/plugins/Module.h @@ -6,6 +6,7 @@ #ifndef MODULE_H #define MODULE_H +#include <cstdint> #include <set> #include <string> #include <unordered_map> |