From b8d9640d9fbe1b399ae380bc05eb98e58592fd9f Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 5 May 2025 11:59:04 -0600 Subject: [PATCH] Include necessary header file. --- source/particles/generators.cc | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.39.5