Fix a missing include file.

diff --git a/information_based_mesh_refinement/mesh_refinement.cc b/information_based_mesh_refinement/mesh_refinement.cc
index 895c4c9eb66db7b86317240aa1d1bbbe484fb423..96ff8647341cfb3719d6962897dd2f0a5777fd86 100644 (file)
--- 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>