From: Daniel Arndt <arndtd@ornl.gov>
Date: Wed, 14 Feb 2024 21:38:09 +0000 (-0500)
Subject: Add missing <optional> header for trilinos_tpetra_vector.h
X-Git-Tag: relicensing~37^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=24d72b1a2b600c0cd42fc5142a927fce64825c24;p=dealii.git

Add missing <optional> header for trilinos_tpetra_vector.h
---

diff --git a/include/deal.II/lac/trilinos_tpetra_vector.h b/include/deal.II/lac/trilinos_tpetra_vector.h
index e33529ff66..0b9a2d3c16 100644
--- 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