Remove debug statement

informalsystems · Nov 24, 2023 · 03bbb3d · 03bbb3d
1 parent fac95fe
commit 03bbb3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Specs/Quint/voteBookkeeperTest.qnt b/Specs/Quint/voteBookkeeperTest.qnt
@@ -46,7 +46,7 @@ module voteBookkeeperTest {
     run synchronousConsensusTest =
         init(100)
         .then(applyVoteAction({typ: "Prevote", round: 1, value: "proposal", address: "alice"}, 60, 1))
-        .then(_assert(debug("lastEmitted", lastEmitted) == {round: 1, name: "None", value: "null"}))
+        .then(_assert(lastEmitted == {round: 1, name: "None", value: "null"}))
         .then(applyVoteAction({typ: "Prevote", round: 1, value: "proposal", address: "john"}, 10, 1))
         .then(_assert(lastEmitted == {round: 1, name: "PolkaValue", value: "proposal"}))
         .then(applyVoteAction({typ: "Prevote", round: 1, value: "proposal", address: "bob"}, 30, 1))