From: Wolfgang Bangerth Date: Thu, 9 Sep 2010 12:42:55 +0000 (+0000) Subject: Remove unnecessary header files. X-Git-Tag: v8.0.0~5550 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=918f9cfe2a0027065bdac1441a31a74a40c4fe16;p=dealii.git Remove unnecessary header files. git-svn-id: https://svn.dealii.org/trunk@21908 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/base/source/parameter_handler.cc b/deal.II/base/source/parameter_handler.cc index e6c7b3d387..dc365b8ddc 100644 --- a/deal.II/base/source/parameter_handler.cc +++ b/deal.II/base/source/parameter_handler.cc @@ -19,8 +19,6 @@ #include #include -#include -#include #include #include