From: Wolfgang Bangerth Date: Fri, 21 Feb 2025 15:13:59 +0000 (-0700) Subject: Add missing #include. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43cd63c1ae6cb0f106763ae79bdee85edc371d6e;p=dealii.git Add missing #include. --- 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