fix comment

Author: tbrent

contracts/p0/Distributor.sol

@@ -47,10 +47,6 @@ contract DistributorP0 is ComponentP0, IDistributor {
     /// Set RevenueShares for destinations. Destinations `FURNACE` and `ST_RSR` refer to
     /// main.furnace() and main.stRSR().
     /// @custom:governance
-    // checks: invariants hold in post-state
-    // effects:
-    //   destinations' = dests
-    //   distribution' = shares
     function setDistributions(address[] calldata dests, RevenueShare[] calldata shares)
         external
         governance

contracts/p1/Distributor.sol

@@ -74,8 +74,8 @@ contract DistributorP1 is ComponentP1, IDistributor {
     /// @custom:governance
     // checks: invariants hold in post-state
     // effects:
-    //   destinations' = dests
-    //   distribution' = shares
+    //   destinations' = destinations.add(dests)
+    //   distribution' = distribution.set(dests[i], shares[i]) for i < dests.length
     function setDistributions(address[] calldata dests, RevenueShare[] calldata shares)
         external
         governance