56d55
< #include "config/use_checker.hh"
57a57
> //#include "cpu/checker/cpu.hh"
71,74d70
< #if USE_CHECKER
< #include "cpu/checker/cpu.hh"
< #endif // USE_CHECKER
<