diff options
Diffstat (limited to 'dev/tsunami_io.cc')
-rw-r--r-- | dev/tsunami_io.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/tsunami_io.cc b/dev/tsunami_io.cc index e66d6653b..14fa97341 100644 --- a/dev/tsunami_io.cc +++ b/dev/tsunami_io.cc @@ -36,6 +36,7 @@ #include <string> #include <vector> +#include "arch/alpha/ev5.hh" #include "base/trace.hh" #include "dev/tsunami_io.hh" #include "dev/tsunami.hh" |