From 39fd0a3279c00c6f82f96c954829e7de657f7e57 Mon Sep 17 00:00:00 2001 From: Stefano Angieri Date: Tue, 5 Nov 2024 15:14:11 +0100 Subject: [PATCH] fix mermaid --- spec/core/v2/ics-004-channel-and-packet-semantics/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/core/v2/ics-004-channel-and-packet-semantics/README.md b/spec/core/v2/ics-004-channel-and-packet-semantics/README.md index 114c1587f..19b6a893f 100644 --- a/spec/core/v2/ics-004-channel-and-packet-semantics/README.md +++ b/spec/core/v2/ics-004-channel-and-packet-semantics/README.md @@ -438,7 +438,7 @@ sequenceDiagram Relayer ->> IBCModule on Chain A: relayAck Note over IBCModule on Chain A: start acknowldge packet execution IBCModule on Chain A ->> IBCModule on Chain A : acknowldgePacket - IBCModule on Chain A -->> IBCModule on B Light Client: verifyMembership(packetAck) + IBCModule on Chain A -->> B Light Client: verifyMembership(packetAck) IBCModule on Chain A --> IBCModule on Chain A : app execution IBCModule on Chain A --> IBCModule on Chain A : Delete packetCommitment Note over IBCModule on Chain A: end acknowldge packet execution @@ -579,7 +579,7 @@ function sendPacket( // IMPORTANT: if the onSendPacket fails, the transaction is aborted and the potential state changes are reverted. // This ensure that the post conditions on error are always respected. // payload execution check - abortUnless(success) + abortTransactionUnless(success) // Construct the packet packet = Packet {