diff options
Diffstat (limited to 'src/cpu/inorder/resource.cc')
-rw-r--r-- | src/cpu/inorder/resource.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cpu/inorder/resource.cc b/src/cpu/inorder/resource.cc index 9eec63062..8bc355f5c 100644 --- a/src/cpu/inorder/resource.cc +++ b/src/cpu/inorder/resource.cc @@ -36,6 +36,7 @@ #include "cpu/inorder/cpu.hh" #include "cpu/inorder/resource.hh" #include "cpu/inorder/resource_pool.hh" +#include "debug/ExecFaulting.hh" #include "debug/RefCount.hh" #include "debug/ResReqCount.hh" #include "debug/Resource.hh" |