From 4681a4d70480586e1fcc4b413638284a2b2af2bc Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Tue, 28 Nov 2017 15:42:17 +0100 Subject: [PATCH] Fix warning regarding unsigned int comparison --- source/dofs/dof_renumbering.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/source/dofs/dof_renumbering.cc b/source/dofs/dof_renumbering.cc index df951276ba..ce0cca6b45 100644 --- a/source/dofs/dof_renumbering.cc +++ b/source/dofs/dof_renumbering.cc @@ -506,10 +506,10 @@ namespace DoFRenumbering } Assert (erase_these_indices.size() == active_but_not_owned_dofs.n_elements(), ExcInternalError()); - Assert (std::count (my_new_indices.begin(), - my_new_indices.end(), - numbers::invalid_dof_index) == - active_but_not_owned_dofs.n_elements(), + Assert (static_cast(std::count (my_new_indices.begin(), + my_new_indices.end(), + numbers::invalid_dof_index)) + == active_but_not_owned_dofs.n_elements(), ExcInternalError()); // then compute a renumbering of the remaining ones -- 2.39.5