From: Wolfgang Bangerth Date: Mon, 5 May 2025 17:59:04 +0000 (-0600) Subject: Include necessary header file. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F18439%2Fhead;p=dealii.git Include necessary header file. --- diff --git a/source/particles/generators.cc b/source/particles/generators.cc index 404f327fc4..49035a907c 100644 --- a/source/particles/generators.cc +++ b/source/particles/generators.cc @@ -27,6 +27,8 @@ #include #include +#include + DEAL_II_NAMESPACE_OPEN