]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Address comments 3665/head
authorRene Gassmoeller <rene.gassmoeller@mailbox.org>
Thu, 8 Dec 2016 02:23:26 +0000 (19:23 -0700)
committerRene Gassmoeller <rene.gassmoeller@mailbox.org>
Thu, 8 Dec 2016 02:23:26 +0000 (19:23 -0700)
source/base/index_set.cc

index 9af19f060ded53ed5af23337b04c5b624187afe6..ec7eca1b235fcf32cbdfbc33946450cc1c1c8479 100644 (file)
@@ -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;
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.