From: Wolfgang Bangerth Date: Wed, 12 Oct 2022 05:41:15 +0000 (-0600) Subject: Remove an unnecessary semicolon. X-Git-Tag: v9.5.0-rc1~902^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14347%2Fhead;p=dealii.git Remove an unnecessary semicolon. --- diff --git a/include/deal.II/fe/fe_tools_extrapolate.templates.h b/include/deal.II/fe/fe_tools_extrapolate.templates.h index 510b446a62..f7dec56da6 100644 --- a/include/deal.II/fe/fe_tools_extrapolate.templates.h +++ b/include/deal.II/fe/fe_tools_extrapolate.templates.h @@ -1367,7 +1367,7 @@ namespace FETools { const types::global_dof_index index = indices[fe.face_to_cell_index(i, face)]; - ; + const bool index_stored = (dofs_on_refined_neighbors.find(index) != dofs_on_refined_neighbors.end());