From: Nicolas Barnafi Date: Thu, 5 May 2022 19:19:13 +0000 (+0200) Subject: Added missing header X-Git-Tag: v9.5.0-rc1~947^2~22 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=68ad106b3397d5303f8c25aba8b382f679f67bb3;p=dealii.git Added missing header --- diff --git a/include/deal.II/lac/petsc_sparse_matrix.h b/include/deal.II/lac/petsc_sparse_matrix.h index 4a597ff565..b9994900d9 100644 --- a/include/deal.II/lac/petsc_sparse_matrix.h +++ b/include/deal.II/lac/petsc_sparse_matrix.h @@ -28,6 +28,7 @@ # include # include "petscis.h" +# include "petscistypes.h" DEAL_II_NAMESPACE_OPEN // forward declaration