diff options
Diffstat (limited to 'src/dev/baddev.hh')
| -rw-r--r-- | src/dev/baddev.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/dev/baddev.hh b/src/dev/baddev.hh index 9cf592c0e..ea902152e 100644 --- a/src/dev/baddev.hh +++ b/src/dev/baddev.hh @@ -36,7 +36,6 @@ #ifndef __DEV_BADDEV_HH__ #define __DEV_BADDEV_HH__ -#include "base/range.hh" #include "dev/io_device.hh" #include "params/BadDevice.hh" |