From e16d45f8a6355613a2dc3c53421430d0943108ce Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth 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 +#include #include #include #include -- 2.39.5