diff options
Diffstat (limited to 'src/display_buffer.hh')
| -rw-r--r-- | src/display_buffer.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/display_buffer.hh b/src/display_buffer.hh index e422e38a..62b4731c 100644 --- a/src/display_buffer.hh +++ b/src/display_buffer.hh @@ -75,6 +75,8 @@ public: const_iterator begin() const { return m_atoms.begin(); } const_iterator end() const { return m_atoms.end(); } + + void check_invariant() const; private: AtomList m_atoms; }; |