Buffer: stronger invariant, a buffer is never empty and all lines finish by '\n'

1 files changed, 2 insertions, 2 deletions

diff --git a/src/buffer.hh b/src/buffer.hh
index 53523fae..cc20a607 100644
--- a/src/buffer.hh
+++ b/src/buffer.hh
@@ -111,8 +111,8 @@ public:
 
     Type type() const { return m_type; }
 
-    void insert(const BufferIterator& pos, const String& content);
-    void erase(const BufferIterator& begin, const BufferIterator& end);
+    void insert(BufferIterator pos, const String& content);
+    void erase(BufferIterator begin, BufferIterator end);
 
     void           begin_undo_group();
     void           end_undo_group();