40,41d39
< using namespace std;
<
103c101
< string policy = params->smtIQPolicy;
---
> std::string policy = params->smtIQPolicy;
282c280
< stringstream subname;
---
> std::stringstream subname;
362c360
< InstructionQueue<Impl>::setActiveThreads(list<unsigned> *at_ptr)
---
> InstructionQueue<Impl>::setActiveThreads(std::list<unsigned> *at_ptr)
424,425c422,423
< list<unsigned>::iterator threads = (*activeThreads).begin();
< list<unsigned>::iterator list_end = (*activeThreads).end();
---
> std::list<unsigned>::iterator threads = (*activeThreads).begin();
> std::list<unsigned>::iterator list_end = (*activeThreads).end();