Merge pull request #16649 from masterleinad/fix_optional_header_tpetr…

…a_vector Add missing <optional> header for trilinos_tpetra_vector.h
dealii · Feb 15, 2024 · 6e69927 · 6e69927
2 parents d0de226 + 24d72b1
commit 6e69927
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/include/deal.II/lac/trilinos_tpetra_vector.h b/include/deal.II/lac/trilinos_tpetra_vector.h
@@ -37,6 +37,7 @@
 #  include <Tpetra_Version.hpp>
 
 #  include <memory>
+#  include <optional>
 
 DEAL_II_NAMESPACE_OPEN