Skip to content

Commit

Permalink
fix alignment
Browse files Browse the repository at this point in the history
  • Loading branch information
crodriguezvega authored Oct 4, 2023
1 parent abfbfb5 commit 3c47477
Showing 1 changed file with 21 additions and 21 deletions.
42 changes: 21 additions & 21 deletions spec/core/ics-004-channel-and-packet-semantics/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -1370,27 +1370,27 @@ function timeoutOnClose(
abortTransactionUnless(packet.sequence >= nextSequenceRecv)
// ordered channel: check that the recv sequence is as claimed

// ordered channel: check that the recv sequence is as claimed
if (channel.connectionHops.length > 1) {
key = nextSequenceRecvPath(packet.destPort, packet.destChannel)
abortTransactionUnless(connection.verifyMultihopMembership(
connection,
proofHeight,
proof,
channel.ConnectionHops,
key,
nextSequenceRecv
))
} else {
abortTransactionUnless(connection.verifyNextSequenceRecv(
proofHeight,
proof,
packet.destPort,
packet.destChannel,
nextSequenceRecv
))
}
break;
// ordered channel: check that the recv sequence is as claimed
if (channel.connectionHops.length > 1) {
key = nextSequenceRecvPath(packet.destPort, packet.destChannel)
abortTransactionUnless(connection.verifyMultihopMembership(
connection,
proofHeight,
proof,
channel.ConnectionHops,
key,
nextSequenceRecv
))
} else {
abortTransactionUnless(connection.verifyNextSequenceRecv(
proofHeight,
proof,
packet.destPort,
packet.destChannel,
nextSequenceRecv
))
}
break;

case UNORDERED:
// unordered channel: verify absence of receipt at packet index
Expand Down

0 comments on commit 3c47477

Please sign in to comment.