37,38d36
< using namespace std;
<
226c224
< DefaultRename<Impl>::setActiveThreads(list<unsigned> *at_ptr)
---
> DefaultRename<Impl>::setActiveThreads(std::list<unsigned> *at_ptr)
275c273,274
< typename list<RenameHistory>::iterator hb_it = historyBuffer[i].begin();
---
> typename std::list<RenameHistory>::iterator hb_it =
> historyBuffer[i].begin();
410c409
< list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = (*activeThreads).begin();
762c761
< list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = (*activeThreads).begin();
778c777
< list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = (*activeThreads).begin();
868c867,868
< typename list<RenameHistory>::iterator hb_it = historyBuffer[tid].begin();
---
> typename std::list<RenameHistory>::iterator hb_it =
> historyBuffer[tid].begin();
906c906,907
< typename list<RenameHistory>::iterator hb_it = historyBuffer[tid].end();
---
> typename std::list<RenameHistory>::iterator hb_it =
> historyBuffer[tid].end();
1305c1306
< typename list<RenameHistory>::iterator buf_it;
---
> typename std::list<RenameHistory>::iterator buf_it;