src/common/packet-metadata.cc
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;
         }
     }