X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/eeab3e6cade87c1fe0a5f3d93522e12ccb9ec2ab..f2170465073de34adf89161d4287182b518352c4:/rsm.cc

diff --git a/rsm.cc b/rsm.cc
index 65f60c7..8e597d6 100644
--- a/rsm.cc
+++ b/rsm.cc
@@ -173,18 +173,6 @@ void rsm::recovery() [[noreturn]] {
     }
 }
 
-template <class A>
-std::ostream & operator<<(std::ostream &o, const std::vector<A> &d) {
-    o << "[";
-    for (typename std::vector<A>::const_iterator i=d.begin(); i!=d.end(); i++) {
-        o << *i;
-        if (i+1 != d.end())
-            o << ", ";
-    }
-    o << "]";
-    return o;
-}
-
 bool rsm::sync_with_backups() {
     adopt_lock ml(rsm_mutex);
     ml.unlock();
@@ -204,7 +192,7 @@ bool rsm::sync_with_backups() {
     insync = true;
     cfg->get_view(vid_insync, backups);
     backups.erase(find(backups.begin(), backups.end(), cfg->myaddr()));
-    LOG("rsm::sync_with_backups " << backups);
+    LOG("rsm::sync_with_backups " << make_iterator_pair(backups.begin(), backups.end()));
     sync_cond.wait(ml);
     insync = false;
     return true;