35c35
< using namespace std;
---
> #include <list>
39c39
< string _smtROBPolicy, unsigned _smtROBThreshold,
---
> std::string _smtROBPolicy, unsigned _smtROBThreshold,
52c52
< string policy = _smtROBPolicy;
---
> std::string policy = _smtROBPolicy;
121c121
< ROB<Impl>::setActiveThreads(list<unsigned> *at_ptr)
---
> ROB<Impl>::setActiveThreads(std::list<unsigned> *at_ptr)
160,161c160,161
< 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();
321c321
< list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = (*activeThreads).begin();
435c435
< list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = (*activeThreads).begin();
475c475
< list<unsigned>::iterator threads = (*activeThreads).begin();
---
> std::list<unsigned>::iterator threads = (*activeThreads).begin();