From: Wolfgang Bangerth Date: Wed, 7 May 2025 00:29:19 +0000 (-0600) Subject: Include a necessary header. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=76e342c2f4ca47ff0110214be2a192ef888e08a7;p=dealii.git Include a necessary header. --- 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