From 3da67c7cc04ce6fa5733848a2152f2901d5affe5 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 18 Feb 2016 18:54:30 -0600 Subject: [PATCH] Avoid a bunch of #include files that turn out to be not necessary. --- source/distributed/shared_tria.cc | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) 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 -- 2.39.5