From deb757132a3fc1a958e19a3a7fb68325fc3ba80e Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 15 Jan 2025 08:26:22 -0700 Subject: [PATCH] Fix an #include. --- source/hp/refinement.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/hp/refinement.cc b/source/hp/refinement.cc index 44199edb3f..eaa21b6a80 100644 --- a/source/hp/refinement.cc +++ b/source/hp/refinement.cc @@ -22,7 +22,7 @@ #include #include -#include +#include #include #include -- 2.39.5