55d54
< using namespace std;
524,525c523,524
< list<unsigned>::iterator isActive = find(
< activeThreads.begin(), activeThreads.end(), tid);
---
> std::list<unsigned>::iterator isActive =
> std::find(activeThreads.begin(), activeThreads.end(), tid);
542,543c541,542
< list<unsigned>::iterator thread_it =
< find(activeThreads.begin(), activeThreads.end(), tid);
---
> std::list<unsigned>::iterator thread_it =
> std::find(activeThreads.begin(), activeThreads.end(), tid);
962,963c961,962
< list<unsigned>::iterator isActive = find(
< activeThreads.begin(), activeThreads.end(), tid);
---
> std::list<unsigned>::iterator isActive =
> std::find(activeThreads.begin(), activeThreads.end(), tid);
1457,1458c1456,1457
< list<unsigned>::iterator list_begin = activeThreads.begin();
< list<unsigned>::iterator list_end = activeThreads.end();
---
> std::list<unsigned>::iterator list_begin = activeThreads.begin();
> std::list<unsigned>::iterator list_end = activeThreads.end();