changeset 904 | baa02d31c1ff |
parent 900 | 2087082ba3ed |
child 905 | a18fd9def067 |
--- a/src/common/packet-metadata.cc Thu Jun 28 11:52:50 2007 +0200 +++ b/src/common/packet-metadata.cc Thu Jun 28 12:00:00 2007 +0200 @@ -997,6 +997,7 @@ { break; } + NS_ASSERT (current != item.next); current = item.next; } return totalSize; @@ -1036,6 +1037,7 @@ { os << printer.m_separator; } + NS_ASSERT (current != item.next); current = item.next; } } @@ -1058,6 +1060,7 @@ { os << printer.m_separator; } + NS_ASSERT (current != item.prev); current = item.prev; } }