DisplayBuffer: allow empty atoms, with begin == end

This commit is contained in:
Maxime Coste 2011-10-17 18:59:35 +00:00
parent 53ce1e016a
commit 88e31d8cce

View File

@ -98,7 +98,7 @@ void DisplayBuffer::check_invariant() const
{ {
for (size_t i = 0; i < m_atoms.size(); ++i) for (size_t i = 0; i < m_atoms.size(); ++i)
{ {
assert(m_atoms[i].end() > m_atoms[i].begin()); assert(m_atoms[i].end() >= m_atoms[i].begin());
if (i > 0) if (i > 0)
{ {
assert(m_atoms[i-1].end() == m_atoms[i].begin()); assert(m_atoms[i-1].end() == m_atoms[i].begin());