diff options
| author | Robin Gareus <robin@gareus.org> | 2016-10-30 04:51:31 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2016-10-30 04:51:31 +0100 |
| commit | 0ea9270a4baecfd6c2b090c379b90a277efd1fed (patch) | |
| tree | 2895d0cbad53d80707fb44b29840f90fa3c21f33 /libs/ardour/midi_patch_manager.cc | |
| parent | cfafb01b3282cda9dcdd7662f4299ad44e4e20ca (diff) | |
avoid C++11 (and remove debug output)
Diffstat (limited to 'libs/ardour/midi_patch_manager.cc')
| -rw-r--r-- | libs/ardour/midi_patch_manager.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ardour/midi_patch_manager.cc b/libs/ardour/midi_patch_manager.cc index e3bf899bf5..ce1df8a521 100644 --- a/libs/ardour/midi_patch_manager.cc +++ b/libs/ardour/midi_patch_manager.cc @@ -210,7 +210,7 @@ MidiPatchManager::remove_midi_name_document (const std::string& file_path) cout << string_compose(_("Removing MIDI patch file %1"), file_path) << "\n"; info << string_compose(_("Removing MIDI patch file %1"), file_path) << endmsg; - i = _documents.erase(i); + _documents.erase(i++); for (MIDINameDocument::MasterDeviceNamesList::const_iterator device = document->master_device_names_by_model().begin(); |