From: Wolfgang Bangerth Date: Mon, 24 Feb 2025 22:46:09 +0000 (-0700) Subject: Remove what I think are unnecessary includes. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1e6588914d01a8c75ff9c3c22a63132ec7d495a0;p=dealii.git Remove what I think are unnecessary includes. --- diff --git a/source/base/utilities.cc b/source/base/utilities.cc index 4af300f340..c4d4928688 100644 --- a/source/base/utilities.cc +++ b/source/base/utilities.cc @@ -64,19 +64,6 @@ #endif -#ifdef DEAL_II_WITH_TRILINOS -# ifdef DEAL_II_WITH_MPI -# include -# include -# include - -# include -# include -# endif -# include -# include -#endif - DEAL_II_NAMESPACE_OPEN