From f170849ee2af19af99df1680a70a56db5ef6cc9d Mon Sep 17 00:00:00 2001 From: Marc Fehling Date: Tue, 16 Aug 2022 16:28:54 -0600 Subject: [PATCH] Added missing header. --- include/deal.II/dofs/dof_accessor.h | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.5