Fix bug in destructor for checker manager in DTC that caused segfaults on

exit.
This commit is contained in:
David Chisnall 2013-06-18 10:26:22 +00:00
parent 0071dbd1cd
commit 95b63ba99b

View File

@ -195,6 +195,7 @@ check_manager::~check_manager()
while (disabled_checkers.begin() != disabled_checkers.end())
{
delete disabled_checkers.begin()->second;
disabled_checkers.erase(disabled_checkers.begin());
}
}