From: Pasquale Africa <pafrica@sissa.it>
Date: Mon, 3 Jul 2023 02:02:28 +0000 (+0000)
Subject: Fix missing #include
X-Git-Tag: relicensing~789^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53d10b021d649fde61018c3ceb68e4243c73ff11;p=dealii.git

Fix missing #include
---

diff --git a/source/grid/intergrid_map.cc b/source/grid/intergrid_map.cc
index 9d0b27f0c4..9ffc92dd48 100644
--- a/source/grid/intergrid_map.cc
+++ b/source/grid/intergrid_map.cc
@@ -16,6 +16,7 @@
 #include <deal.II/base/memory_consumption.h>
 #include <deal.II/base/smartpointer.h>
 
+#include <deal.II/distributed/fully_distributed_tria.h>
 #include <deal.II/distributed/shared_tria.h>
 #include <deal.II/distributed/tria.h>