From 8d1810d6cd7a5ac5ee944f39847a93a4635b6b15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= <zbyszek@in.waw.pl>
Date: Tue, 24 Jan 2023 10:45:21 +0100
Subject: [PATCH] Add missing include for compatiblity with gcc-13

Quoting Jakub Jelinek:
> See
> https://gcc.gnu.org/gcc-13/porting_to.html#header-dep-changes
> Some libstdc++ headers included <cstdint> in older versions
> as an implementation detail but no longer do.

> Including stdint.h will introduce ::uint32_t type among others,
> but not std::uint32_t, if you use the latter, you need to
> include <cstdint>.
---
 dolfin/mesh/MeshConnectivity.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dolfin/mesh/MeshConnectivity.h b/dolfin/mesh/MeshConnectivity.h
index b9ec2a6114..5d11d7ab3c 100644
--- a/dolfin/mesh/MeshConnectivity.h
+++ b/dolfin/mesh/MeshConnectivity.h
@@ -21,6 +21,7 @@
 #ifndef __MESH_CONNECTIVITY_H
 #define __MESH_CONNECTIVITY_H
 
+#include <cstdint>
 #include <vector>
 #include <dolfin/log/log.h>
 
-- 
2.39.1