diff --git a/usr.bin/dtc/checking.cc b/usr.bin/dtc/checking.cc index ac417eb0613d..9c7f43c01dc5 100644 --- a/usr.bin/dtc/checking.cc +++ b/usr.bin/dtc/checking.cc @@ -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()); } }