From d0ee14375d679dbde7328ef3dcea3fe83e57d5e0 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Sat, 2 May 2020 17:00:40 -0600 Subject: [PATCH] Remove an unnecessary include file. Specifically, vector.h doesn't reference LogStream or deallog and so doesn't need the include file. --- include/deal.II/lac/vector.h | 1 - 1 file changed, 1 deletion(-) 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 -- 2.39.5