Merge pull request #4751 from blattms/debian-patches-gcc-13

Added missing include of cstdint needed by GCC-13
This commit is contained in:
Bård Skaflestad 2023-07-24 12:26:00 +02:00 committed by GitHub
commit 2aaba39374
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -39,6 +39,7 @@
#include <vector>
#include <unordered_map>
#include <functional>
#include <cstdint>
namespace Opm {