Skip to content

Commit

Permalink
fix, add missing comma
Browse files Browse the repository at this point in the history
  • Loading branch information
Mr-Leshiy committed Dec 2, 2024
1 parent b005187 commit 57bdaec
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ gen-vote-tx<choice-t, proof-t, prop-id-t, voter-data-t> = [
]

tx-body<choice-t, proof-t, prop-id-t, voter-data-t> = [
vote-type
vote-type,
event,
votes<choice-t, proof-t, prop-id-t>,
voter-data<voter-data-t>,
Expand Down

0 comments on commit 57bdaec

Please sign in to comment.