From: Wolfgang Bangerth Date: Tue, 1 Apr 2025 23:56:18 +0000 (-0600) Subject: Remove a comment that is no longer accurate. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F18335%2Fhead;p=dealii.git Remove a comment that is no longer accurate. --- diff --git a/include/deal.II/base/types.h b/include/deal.II/base/types.h index 6199923248..bef78d0543 100644 --- a/include/deal.II/base/types.h +++ b/include/deal.II/base/types.h @@ -214,9 +214,7 @@ namespace TrilinosWrappers } // namespace TrilinosWrappers -// this part of the namespace numbers got moved to the bottom types.h file, -// because otherwise we get a circular inclusion of config.h, types.h, and -// numbers.h + namespace numbers { /**