diff options
Diffstat (limited to 'dev/baddev.cc')
-rw-r--r-- | dev/baddev.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/baddev.cc b/dev/baddev.cc index bb1d289ab..9b75a2a26 100644 --- a/dev/baddev.cc +++ b/dev/baddev.cc @@ -41,7 +41,7 @@ #include "mem/bus/bus.hh" #include "mem/bus/pio_interface.hh" #include "mem/bus/pio_interface_impl.hh" -#include "mem/functional_mem/memory_control.hh" +#include "mem/functional/memory_control.hh" #include "sim/builder.hh" #include "sim/system.hh" |