voting chain mutant 9

Certora · Nov 16, 2023 · ffa50f0 · ffa50f0
1 parent dd4a4a1
commit ffa50f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/contracts/voting/VotingMachineWithProofs.sol b/src/contracts/voting/VotingMachineWithProofs.sol
@@ -382,7 +382,7 @@ abstract contract VotingMachineWithProofs is
     uint256[] memory ids = new uint256[](size);
     for (uint256 i = 0; i < size; i++) {
       ids[i] = _proposalsVoteConfigurationIds[
-        proposalListLength - skip - i - 1
+        proposalListLength - skip - i
       ];
     }
     return ids;