-/* Copyright (c) 2012-2018. The SimGrid Team.
+/* Copyright (c) 2012-2019. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
do {
next_peer = known_peers.begin();
std::advance(next_peer, RngStream_RandInt(stream, 0, nb_known_peers - 1));
- } while (ta->getPeers()->find(*next_peer) != ta->getPeers()->end());
+ } while (ta->getPeers().find(*next_peer) != ta->getPeers().end());
ta->addPeer(*next_peer);
tried++;
}