From 43cd63c1ae6cb0f106763ae79bdee85edc371d6e Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 21 Feb 2025 08:13:59 -0700 Subject: [PATCH] Add missing #include. --- source/dofs/dof_accessor_set.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/source/dofs/dof_accessor_set.cc b/source/dofs/dof_accessor_set.cc index f78bf150ed..f06edd4e72 100644 --- a/source/dofs/dof_accessor_set.cc +++ b/source/dofs/dof_accessor_set.cc @@ -32,6 +32,7 @@ #include #include +#include #include #include -- 2.39.5