From: Magdalena Schreter <magdalena.schreter@tum.de>
Date: Wed, 5 Jul 2023 10:08:21 +0000 (+0200)
Subject: add missing ReadVector header
X-Git-Tag: relicensing~740^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F15658%2Fhead;p=dealii.git

add missing ReadVector header
---

diff --git a/include/deal.II/numerics/error_estimator.h b/include/deal.II/numerics/error_estimator.h
index 5e63a78327..15c9f34b05 100644
--- a/include/deal.II/numerics/error_estimator.h
+++ b/include/deal.II/numerics/error_estimator.h
@@ -24,6 +24,8 @@
 
 #include <deal.II/fe/component_mask.h>
 
+#include <deal.II/lac/read_vector.h>
+
 #include <map>
 
 DEAL_II_NAMESPACE_OPEN