diff --git a/util/m5/src/commands.cc b/util/m5/src/commands.cc index 9c103fbbd5..d721899d2e 100644 --- a/util/m5/src/commands.cc +++ b/util/m5/src/commands.cc @@ -34,6 +34,7 @@ #include #include #include +#include #include "args.hh" #include "commands.hh"