From: Wolfgang Bangerth Date: Tue, 12 Sep 2017 00:37:09 +0000 (-0600) Subject: Remove an unnecessary include file. X-Git-Tag: v9.0.0-rc1~1088^2~4 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=65e77254dc77625925656636f56f9c4dfd529775;p=dealii.git Remove an unnecessary include file. --- diff --git a/include/deal.II/lac/solver_richardson.h b/include/deal.II/lac/solver_richardson.h index 2fbd6c87fb..1f7acafa6b 100644 --- a/include/deal.II/lac/solver_richardson.h +++ b/include/deal.II/lac/solver_richardson.h @@ -21,7 +21,6 @@ #include #include #include -#include #include DEAL_II_NAMESPACE_OPEN