Tests seem fine for now. In principle we could merge.

informalsystems · Dec 6, 2023 · 23034f5 · 23034f5
1 parent 9a69412
commit 23034f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Specs/Quint/decideForPastRound.qnt b/Specs/Quint/decideForPastRound.qnt
@@ -32,7 +32,7 @@ run runToDecision = {
         everyoneReceivesProposal(others, validatorList, validatorSet, 0, 0, "blue")
     })
 
-// Others receive the prevots of others and the faulty ones -> send precommit value
+// Others receive the prevotes of others and the faulty ones -> send precommit value
     .then(ListDeliverAllVotes ("Prevote", others.concat(faultyList), others, validatorSet, 0, 0, "blue"))
     .then(others.concat(faultyList).length().reps(_ => ListTakeAStep(others)))
     .then(ListTakeAStep(others))