X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/eb3d5c6416c0f0d1cad35e52af3231de7866fea8..26ade07ab0e62b98b452fbbd18edba0450035e35:/lock_client.cc diff --git a/lock_client.cc b/lock_client.cc index 81c102e..7a44940 100644 --- a/lock_client.cc +++ b/lock_client.cc @@ -85,7 +85,8 @@ lock_protocol::status lock_client::acquire(lock_protocol::lockid_t lid) { // check for reentrancy VERIFY(st.state != lock_state::locked || st.held_by != self); - VERIFY(find(st.wanted_by.begin(), st.wanted_by.end(), self) == st.wanted_by.end()); + VERIFY(std::find(st.wanted_by.begin(), st.wanted_by.end(), self) + == st.wanted_by.end()); st.wanted_by.push_back(self);