]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge pull request #14186 from drwells/misc-header-cleanup
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 16 Aug 2022 13:51:37 +0000 (09:51 -0400)
committerGitHub <noreply@github.com>
Tue, 16 Aug 2022 13:51:37 +0000 (09:51 -0400)
1  2 
include/deal.II/base/index_set.h

index f4d09b1dffdc95b7fb12e483f576fd62980c232c,a77f95ce0fea7d85b1678f361ba0c4aa4fbed7d7..500e19260aac3084303eaed1ccf4439f44fd0e0f
@@@ -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>

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.