From: Wolfgang Bangerth Date: Thu, 22 May 2025 18:10:35 +0000 (-0600) Subject: Avoid an unnecessary detour. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F18484%2Fhead;p=dealii.git Avoid an unnecessary detour. --- diff --git a/source/particles/particle.cc b/source/particles/particle.cc index 8c6bf31fa1..121a4207ad 100644 --- a/source/particles/particle.cc +++ b/source/particles/particle.cc @@ -333,10 +333,6 @@ namespace Particles } } // namespace Particles -DEAL_II_NAMESPACE_CLOSE - -DEAL_II_NAMESPACE_OPEN - #include "particles/particle.inst" DEAL_II_NAMESPACE_CLOSE