From: Wolfgang Bangerth Date: Sat, 2 May 2020 23:00:40 +0000 (-0600) Subject: Remove an unnecessary include file. X-Git-Tag: v9.2.0-rc1~139^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F10020%2Fhead;p=dealii.git Remove an unnecessary include file. Specifically, vector.h doesn't reference LogStream or deallog and so doesn't need the include file. --- diff --git a/include/deal.II/lac/vector.h b/include/deal.II/lac/vector.h index a2af8375b1..a82e125c3d 100644 --- a/include/deal.II/lac/vector.h +++ b/include/deal.II/lac/vector.h @@ -22,7 +22,6 @@ #include #include #include -#include #include #include