From: Daniel Arndt <arndtd@ornl.gov>
Date: Tue, 16 Aug 2022 13:51:37 +0000 (-0400)
Subject: Merge pull request #14186 from drwells/misc-header-cleanup
X-Git-Tag: v9.5.0-rc1~1043
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=276cfaa7eeebf2f5c211b39dd2c03c488f3128fd;p=dealii.git

Merge pull request #14186 from drwells/misc-header-cleanup
---

276cfaa7eeebf2f5c211b39dd2c03c488f3128fd
diff --cc include/deal.II/base/index_set.h
index f4d09b1dff,a77f95ce0f..500e19260a
--- a/include/deal.II/base/index_set.h
+++ b/include/deal.II/base/index_set.h
@@@ -19,9 -19,7 +19,8 @@@
  #include <deal.II/base/config.h>
  
  #include <deal.II/base/exceptions.h>
 +#include <deal.II/base/mpi_stub.h>
  #include <deal.II/base/mutex.h>
- #include <deal.II/base/utilities.h>
  
  DEAL_II_DISABLE_EXTRA_DIAGNOSTICS
  #include <boost/container/small_vector.hpp>