From cbb642d6dee24912b4355c124cedf6d5a68804f9 Mon Sep 17 00:00:00 2001 From: Greg Farnum Date: Thu, 10 Dec 2020 14:11:21 +0000 Subject: [PATCH] mon: add a missing space in disallowed_leaders output Signed-off-by: Greg Farnum --- src/mon/MonMap.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mon/MonMap.cc b/src/mon/MonMap.cc index ed69d00c133..8676443f247 100644 --- a/src/mon/MonMap.cc +++ b/src/mon/MonMap.cc @@ -370,7 +370,7 @@ void MonMap::print(ostream& out) const << " (" << min_mon_release << ")\n"; out << "election_strategy: " << strategy << "\n"; if (disallowed_leaders.size()) { - out << "disallowed_leaders" << disallowed_leaders << "\n"; + out << "disallowed_leaders " << disallowed_leaders << "\n"; } unsigned i = 0; for (auto p = ranks.begin(); p != ranks.end(); ++p) { -- 2.47.3