Symbol: check_manager
usr.bin/dtc/checking.cc
209
check_manager::~check_manager()
usr.bin/dtc/checking.cc
223
check_manager::check_manager()
usr.bin/dtc/checking.hh
252
class check_manager