From 18330329437795b227d7ee1e9033729700a370f7 Mon Sep 17 00:00:00 2001
From: Maximilian Bergbauer <maximilian.bergbauer@tum.de>
Date: Sat, 19 Oct 2024 20:01:19 +0200
Subject: [PATCH] Add necessary EnableObserverPointer header to ReadVector

---
 include/deal.II/lac/read_vector.h | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.39.5