From 76e342c2f4ca47ff0110214be2a192ef888e08a7 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 6 May 2025 18:29:19 -0600 Subject: [PATCH] Include a necessary header. --- source/distributed/p4est_wrappers.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/source/distributed/p4est_wrappers.cc b/source/distributed/p4est_wrappers.cc index 471e1ac6ef..773f3ec095 100644 --- a/source/distributed/p4est_wrappers.cc +++ b/source/distributed/p4est_wrappers.cc @@ -20,6 +20,9 @@ DEAL_II_NAMESPACE_OPEN #ifdef DEAL_II_WITH_P4EST +# include + + namespace internal { namespace p4est -- 2.39.5