Merge pull request #15658 from mschreter/fix_header_read_vector

dealii · Jul 5, 2023 · 4bfe6e7 · 4bfe6e7
2 parents 05148ec + 2328e25
commit 4bfe6e7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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