From 539323b7c68e58769320fb1f8b24bba600bc6cc8 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 21 Jul 2021 10:41:52 -0600 Subject: [PATCH] Add a missing include file. --- source/dofs/dof_handler_policy.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/source/dofs/dof_handler_policy.cc b/source/dofs/dof_handler_policy.cc index afd2b02e33..d765010405 100644 --- a/source/dofs/dof_handler_policy.cc +++ b/source/dofs/dof_handler_policy.cc @@ -18,6 +18,7 @@ #include #include #include +#include #include #include -- 2.39.5