58d57
< #include "config/use_checker.hh"
723d721
< #if USE_CHECKER
729d726
< #endif