From: Marc Fehling <mafehling.git@gmail.com>
Date: Tue, 16 Aug 2022 22:28:54 +0000 (-0600)
Subject: Added missing header.
X-Git-Tag: v9.5.0-rc1~1042^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14192%2Fhead;p=dealii.git

Added missing header.
---

diff --git a/include/deal.II/dofs/dof_accessor.h b/include/deal.II/dofs/dof_accessor.h
index c9a8c18d33..9de534f05f 100644
--- a/include/deal.II/dofs/dof_accessor.h
+++ b/include/deal.II/dofs/dof_accessor.h
@@ -28,6 +28,7 @@ DEAL_II_DISABLE_EXTRA_DIAGNOSTICS
 #include <boost/container/small_vector.hpp>
 DEAL_II_ENABLE_EXTRA_DIAGNOSTICS
 
+#include <set>
 #include <vector>
 
 DEAL_II_NAMESPACE_OPEN