From: Rene Gassmoeller <rene.gassmoeller@mailbox.org>
Date: Thu, 8 Dec 2016 02:23:26 +0000 (-0700)
Subject: Address comments
X-Git-Tag: v8.5.0-rc1~340^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ac2ccaa668f816763c42eefd892daee2ad7adb5e;p=dealii.git

Address comments
---

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;