From: David Wells Date: Thu, 18 Jul 2024 23:19:42 +0000 (-0400) Subject: PetscWrappers::VectorBase: add a missing header. X-Git-Tag: v9.6.0-rc1~45^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F17298%2Fhead;p=dealii.git PetscWrappers::VectorBase: add a missing header. We need this to serialize pairs. --- diff --git a/include/deal.II/lac/petsc_vector_base.h b/include/deal.II/lac/petsc_vector_base.h index 930894f946..acd5901fd1 100644 --- a/include/deal.II/lac/petsc_vector_base.h +++ b/include/deal.II/lac/petsc_vector_base.h @@ -28,6 +28,7 @@ # include # include +# include # include