diff options
Diffstat (limited to 'libs/ardour/midi_playlist.cc')
| -rw-r--r-- | libs/ardour/midi_playlist.cc | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/libs/ardour/midi_playlist.cc b/libs/ardour/midi_playlist.cc index 152735de85..6f5dee979a 100644 --- a/libs/ardour/midi_playlist.cc +++ b/libs/ardour/midi_playlist.cc @@ -359,15 +359,13 @@ bool MidiPlaylist::destroy_region (boost::shared_ptr<Region> region) { boost::shared_ptr<MidiRegion> r = boost::dynamic_pointer_cast<MidiRegion> (region); - bool changed = false; - if (r == 0) { - PBD::fatal << _("programming error: non-midi Region passed to remove_overlap in midi playlist") - << endmsg; - /*NOTREACHED*/ + if (!r) { return false; } + bool changed = false; + { RegionLock rlock (this); RegionList::iterator i; |