51d50
< #include "config/use_checker.hh"
52a52
> #include "cpu/checker/cpu.hh"
64,67d63
< #if USE_CHECKER
< #include "cpu/checker/cpu.hh"
< #endif
<
131d126
< #if USE_CHECKER
133c128
< #endif
---
>