Remove post-merge duplicate ListDeliverVote function

informalsystems · Jan 16, 2024 · 8ac3caf · 8ac3caf
1 parent f14e28d
commit 8ac3caf
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/specs/quint/specs/TendermintDSL.qnt b/specs/quint/specs/TendermintDSL.qnt
@@ -31,10 +31,6 @@ run ListDeliverVote (active, voteMsg) = {
     active.length().reps(i => deliverVote(active[i], voteMsg))
 }
 
-run ListDeliverVote (active, voteMsg) = {
-    active.length().reps(i => deliverVote(active[i], voteMsg))
-}
-
 run ListDeliverSomeProposal (active) = {
     all{
         assert( Faulty != Set() or