diff options
Diffstat (limited to '001-include-cstdint.patch')
-rw-r--r-- | 001-include-cstdint.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/001-include-cstdint.patch b/001-include-cstdint.patch deleted file mode 100644 index ec78e23b74a9..000000000000 --- a/001-include-cstdint.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git a/include/fastdds/dds/core/status/StatusMask.hpp b/include/fastdds/dds/core/status/StatusMask.hpp -index c838ff369..2718869d7 100644 ---- a/include/fastdds/dds/core/status/StatusMask.hpp -+++ b/include/fastdds/dds/core/status/StatusMask.hpp -@@ -24,6 +24,7 @@ - #include <fastrtps/fastrtps_dll.h> - - #include <bitset> -+#include <cstdint> - #include <sstream> - - //!Alias of size_t(16) |