From 1b207a4b6a009599ec4663531bc3f4e189014fca Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 16 Nov 2016 20:49:54 -0700 Subject: [PATCH] Fix a type error. --- source/dofs/dof_handler.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/dofs/dof_handler.cc b/source/dofs/dof_handler.cc index f892639463..d97af68e5b 100644 --- a/source/dofs/dof_handler.cc +++ b/source/dofs/dof_handler.cc @@ -1017,7 +1017,7 @@ DoFHandler::n_boundary_dofs (const std::map boundary_dofs; + std::set boundary_dofs; const unsigned int dofs_per_face = get_fe().dofs_per_face; std::vector dofs_on_face(dofs_per_face); -- 2.39.5