From 1e6588914d01a8c75ff9c3c22a63132ec7d495a0 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 24 Feb 2025 15:46:09 -0700 Subject: [PATCH] Remove what I think are unnecessary includes. --- source/base/utilities.cc | 13 ------------- 1 file changed, 13 deletions(-) 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 -- 2.39.5