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 d9c84238f7708d28696e1dc64bb8e0276f851446..0217b1828a3ef97e83d5080d00bf05cccbdc5eb1 100644 (file)
--- 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