diff --git a/netenum.cc b/netenum.cc index 0ec7ca33d..802a7f446 100644 --- a/netenum.cc +++ b/netenum.cc @@ -74,8 +74,7 @@ bool netenum_t::insert_name(size_t name_idx, perm_string name, const verinum&val { std::pair::iterator, bool> res; - assert((msb_-lsb_+1) > 0); - assert(val.has_len() && val.len() == (unsigned)(msb_-lsb_+1)); + assert(val.has_len() && val.len() == packed_width()); // Insert a map of the name to the value. This also gets a // flag that returns true if the name is unique, or false