23c23,24
< #include <systemc>
---
> #include "../../../core/sc_time.hh"
> #include "../../../dt/int/sc_nbdefs.hh"