and now with erase

diff --git a/libs/pbd/pbd/abstract_ui.cc b/libs/pbd/pbd/abstract_ui.cc
index c7a37cdef56b9b4bfc03c084f6d6206f1c949050..299ad58da804d8f74374b0c74c51d6137697569c 100644 (file)
--- a/libs/pbd/pbd/abstract_ui.cc
+++ b/libs/pbd/pbd/abstract_ui.cc
@@ -203,6 +203,7 @@ AbstractUI<RequestObject>::handle_ui_requests ()
                        std::list<InvalidationRecord*>::const_iterator tmp = r;
                        ++tmp;
                        delete *r;
+                       trash.erase (r);
                        r = tmp;
                } else {
                        ++r;