From: Maximilian Bergbauer <maximilian.bergbauer@tum.de>
Date: Sat, 19 Oct 2024 18:01:19 +0000 (+0200)
Subject: Add necessary EnableObserverPointer header to ReadVector
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=18330329437795b227d7ee1e9033729700a370f7;p=dealii.git

Add necessary EnableObserverPointer header to ReadVector
---

diff --git a/include/deal.II/lac/read_vector.h b/include/deal.II/lac/read_vector.h
index d9c84238f7..0217b1828a 100644
--- a/include/deal.II/lac/read_vector.h
+++ b/include/deal.II/lac/read_vector.h
@@ -18,6 +18,7 @@
 #include <deal.II/base/config.h>
 
 #include <deal.II/base/array_view.h>
+#include <deal.II/base/enable_observer_pointer.h>
 #include <deal.II/base/types.h>
 
 DEAL_II_NAMESPACE_OPEN