From: Wolfgang Bangerth Date: Fri, 19 Feb 2016 00:54:30 +0000 (-0600) Subject: Avoid a bunch of #include files that turn out to be not necessary. X-Git-Tag: v8.5.0-rc1~1303^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F2207%2Fhead;p=dealii.git Avoid a bunch of #include files that turn out to be not necessary. --- diff --git a/source/distributed/shared_tria.cc b/source/distributed/shared_tria.cc index b37368918a..355811f787 100644 --- a/source/distributed/shared_tria.cc +++ b/source/distributed/shared_tria.cc @@ -1,7 +1,7 @@ // --------------------------------------------------------------------- // $Id: tria.cc 32807 2014-04-22 15:01:57Z heister $ // -// Copyright (C) 2015 by the deal.II authors +// Copyright (C) 2015, 2016 by the deal.II authors // // This file is part of the deal.II library. // @@ -16,10 +16,6 @@ #include #include -#include -#include -#include -#include #include #include #include @@ -28,14 +24,6 @@ #include - - -#include -#include -#include -#include - - DEAL_II_NAMESPACE_OPEN #ifdef DEAL_II_WITH_MPI