1 --- src/ThreadManager.cc.orig 2007-08-19 19:00:45.000000000 -0700
2 +++ src/ThreadManager.cc 2007-08-19 19:01:01.000000000 -0700
6 // Remove thread from list of active threads
7 - std::vector<ThreadDetails*>::iterator i = find_if(m_threadDetails.begin(),
8 + std::vector<ThreadDetails*>::iterator i = std::find_if(m_threadDetails.begin(),
9 m_threadDetails.end(), PredGetDetails(thread));
10 if(i != m_threadDetails.end()) {