From: Marc Fehling Date: Tue, 16 Aug 2022 22:28:54 +0000 (-0600) Subject: Added missing header. X-Git-Tag: v9.5.0-rc1~1042^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14192%2Fhead;p=dealii.git Added missing header. --- diff --git a/include/deal.II/dofs/dof_accessor.h b/include/deal.II/dofs/dof_accessor.h index c9a8c18d33..9de534f05f 100644 --- a/include/deal.II/dofs/dof_accessor.h +++ b/include/deal.II/dofs/dof_accessor.h @@ -28,6 +28,7 @@ DEAL_II_DISABLE_EXTRA_DIAGNOSTICS #include DEAL_II_ENABLE_EXTRA_DIAGNOSTICS +#include #include DEAL_II_NAMESPACE_OPEN