| 8707 | } |
| 8708 | |
| 8709 | void RunContext::pushScopedMessage(MessageInfo const & message) { |
| 8710 | m_messages.push_back(message); |
| 8711 | } |
| 8712 | |
| 8713 | void RunContext::popScopedMessage(MessageInfo const & message) { |
| 8714 | m_messages.erase(std::remove(m_messages.begin(), m_messages.end(), message), m_messages.end()); |