diff options
Diffstat (limited to 'src/mem/ruby/tester/RaceyDriver.hh')
-rw-r--r-- | src/mem/ruby/tester/RaceyDriver.hh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/mem/ruby/tester/RaceyDriver.hh b/src/mem/ruby/tester/RaceyDriver.hh index e9b4e3425..9a4702ba8 100644 --- a/src/mem/ruby/tester/RaceyDriver.hh +++ b/src/mem/ruby/tester/RaceyDriver.hh @@ -37,11 +37,13 @@ #ifndef RACEYDRIVER_H #define RACEYDRIVER_H +#include <map> +#include <vector> + #include "mem/ruby/common/Global.hh" #include "mem/ruby/tester/Tester_Globals.hh" #include "mem/ruby/common/Driver.hh" #include "mem/ruby/tester/RaceyPseudoThread.hh" -#include <map> #include "mem/ruby/libruby.hh" #define g_DEADLOCK_THRESHOLD 5000 @@ -100,7 +102,7 @@ private: RaceyDriver& operator=(const RaceyDriver& obj); // Data Members (m_ prefix) - Vector<RaceyPseudoThread*> m_racey_pseudo_threads; + std::vector<RaceyPseudoThread*> m_racey_pseudo_threads; int m_done_counter; bool m_wakeup_thread0; Time m_finish_time; |