diff --git a/src/core/uid-manager.cc b/src/core/uid-manager.cc index bb72a6048..f9af50622 100644 --- a/src/core/uid-manager.cc +++ b/src/core/uid-manager.cc @@ -58,7 +58,7 @@ std::string UidManager::LookupByUid (uint32_t uid) { NS_ASSERT (uid > 0); - NS_ASSERT (m_nameList.size () > uid); + NS_ASSERT (m_nameList.size () >= uid); return m_nameList[uid-1]; }