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);