From: Chengjiang Yin Date: Fri, 17 Nov 2023 11:07:32 +0000 (+0800) Subject: remove unused variable and header file X-Git-Tag: relicensing~293^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=692d84eac85be4652cd7ad7be936ac84628ca6b9;p=dealii.git remove unused variable and header file --- diff --git a/source/cgal/intersections.cc b/source/cgal/intersections.cc index a7a94d9932..48bfe32fb5 100644 --- a/source/cgal/intersections.cc +++ b/source/cgal/intersections.cc @@ -52,9 +52,7 @@ # include # include -# include # include -# include # include DEAL_II_NAMESPACE_OPEN @@ -430,7 +428,6 @@ namespace CGALWrappers true); internal::mark_domains(cdt); - std::array, 3> vertices; for (Face_handle f : cdt.finite_face_handles()) {