From ac2ccaa668f816763c42eefd892daee2ad7adb5e Mon Sep 17 00:00:00 2001 From: Rene Gassmoeller Date: Wed, 7 Dec 2016 19:23:26 -0700 Subject: [PATCH] Address comments --- source/base/index_set.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/base/index_set.cc b/source/base/index_set.cc index 9af19f060d..ec7eca1b23 100644 --- a/source/base/index_set.cc +++ b/source/base/index_set.cc @@ -344,7 +344,7 @@ IndexSet::subtract_set (const IndexSet &other) IndexSet::size_type IndexSet::pop_back () { - Assert(ranges.size() != 0, + Assert(is_empty() == false, ExcMessage("pop_back() failed, because this IndexSet contains no entries.")); const size_type index = ranges.back().end-1; @@ -361,7 +361,7 @@ IndexSet::pop_back () IndexSet::size_type IndexSet::pop_front () { - Assert(ranges.size() != 0, + Assert(is_empty() == false, ExcMessage("pop_front() failed, because this IndexSet contains no entries.")); const size_type index = ranges.front().begin; @@ -370,7 +370,7 @@ IndexSet::pop_front () if (ranges.front().begin == ranges.front().end) ranges.erase(ranges.begin()); - // We have to set this in any case, because nth_index_in_set is not longer + // We have to set this in any case, because nth_index_in_set is no longer // up to date for all but the first range is_compressed = false; -- 2.39.5