diff options
Diffstat (limited to 'src/dev/pci/device.cc')
| -rw-r--r-- | src/dev/pci/device.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dev/pci/device.cc b/src/dev/pci/device.cc index 192d824d8..4d9d29b1d 100644 --- a/src/dev/pci/device.cc +++ b/src/dev/pci/device.cc @@ -54,7 +54,7 @@ #include "base/inifile.hh" #include "base/intmath.hh" -#include "base/misc.hh" +#include "base/logging.hh" #include "base/str.hh" #include "base/trace.hh" #include "debug/PciDevice.hh" |