diff --git a/derecho/group_impl.h b/derecho/group_impl.h index e89bd471..a56088ea 100644 --- a/derecho/group_impl.h +++ b/derecho/group_impl.h @@ -321,10 +321,11 @@ void Group::receive_objects(const std::setdebug("Done receiving all Replicated Objects from subgroup leaders")); }