diff --git a/fdbserver/DataDistribution.actor.cpp b/fdbserver/DataDistribution.actor.cpp index 3c140e0e1f..c1b9074f2a 100644 --- a/fdbserver/DataDistribution.actor.cpp +++ b/fdbserver/DataDistribution.actor.cpp @@ -139,7 +139,7 @@ public: sort(machineIDs.begin(), machineIDs.end()); } - int size() { + int size() const { ASSERT(machines.size() == machineIDs.size()); return machineIDs.size(); }