From 539323b7c68e58769320fb1f8b24bba600bc6cc8 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
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 <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>
 
-- 
2.39.5