From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Wed, 21 Jul 2021 16:41:52 +0000 (-0600)
Subject: Add a missing include file.
X-Git-Tag: v9.4.0-rc1~1130^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F12589%2Fhead;p=dealii.git

Add a missing include file.
---

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 <deal.II/base/memory_consumption.h>
 #include <deal.II/base/partitioner.h>
 #include <deal.II/base/thread_management.h>
+#include <deal.II/base/types.h>
 #include <deal.II/base/utilities.h>
 #include <deal.II/base/work_stream.h>