From e16d45f8a6355613a2dc3c53421430d0943108ce Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Mon, 10 Apr 2023 19:49:58 -0600
Subject: [PATCH] Fix a missing include file.

---
 information_based_mesh_refinement/mesh_refinement.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/information_based_mesh_refinement/mesh_refinement.cc b/information_based_mesh_refinement/mesh_refinement.cc
index 895c4c9..96ff864 100644
--- a/information_based_mesh_refinement/mesh_refinement.cc
+++ b/information_based_mesh_refinement/mesh_refinement.cc
@@ -19,6 +19,7 @@
 
 
 #include <deal.II/base/numbers.h>
+#include <deal.II/base/thread_management.h>
 #include <deal.II/grid/tria.h>
 #include <deal.II/dofs/dof_handler.h>
 #include <deal.II/grid/grid_generator.h>
-- 
2.39.5