diff options
author | Robin Gareus <robin@gareus.org> | 2014-06-11 12:54:37 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2014-06-11 16:26:27 +0200 |
commit | 0400fa64da5fda36edaad135e74d3ca8b93c6dc6 (patch) | |
tree | b9b1ae7dc61f8e8586d41e93219999cc067e4ff2 /libs/ardour/ardour/midi_buffer.h | |
parent | 22f45b5a787df1d3a11a7aab7aac363bc7b74efd (diff) |
fix midi buffer erase()
Diffstat (limited to 'libs/ardour/ardour/midi_buffer.h')
-rw-r--r-- | libs/ardour/ardour/midi_buffer.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ardour/ardour/midi_buffer.h b/libs/ardour/ardour/midi_buffer.h index 10105cfbb3..f1f8d678b9 100644 --- a/libs/ardour/ardour/midi_buffer.h +++ b/libs/ardour/ardour/midi_buffer.h @@ -124,7 +124,7 @@ public: size_t total_data_deleted = sizeof(TimeType) + event_size; - if (i.offset + total_data_deleted >= _size) { + if (i.offset + total_data_deleted > _size) { _size = 0; return end(); } |