From: bangerth Date: Thu, 9 Sep 2010 12:42:55 +0000 (+0000) Subject: Remove unnecessary header files. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c0c958a503bd3543801692e2504226cf771541cd;p=dealii-svn.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