ICS 04 (upgrades): improvements for readability and inconsistency fix…

…es (#991) * style, formatting, readability, inconsistency fixed * fixes for better readability * another fix * split line * fixes for upgrade sequence * fix typos * fix type * formatting, consistency fixes * use provable store * alignment
cosmos · Jul 28, 2023 · 0ce921d · 0ce921d
1 parent 5a50f67
commit 0ce921d
Show file tree

Hide file tree

Showing 2 changed files with 659 additions and 557 deletions.
diff --git a/spec/core/ics-004-channel-and-packet-semantics/README.md b/spec/core/ics-004-channel-and-packet-semantics/README.md
@@ -978,7 +978,7 @@ function timeoutPacket(
     // check that timeout height or timeout timestamp has passed on the other end
     abortTransactionUnless(
       (packet.timeoutHeight > 0 && proofHeight >= packet.timeoutHeight) ||
-      (packet.timeoutTimestamp > 0 && connection.getTimestampAtHeight(proofHeight) >= packet.timeoutTimestamp))
+      (packet.timeoutTimestamp > 0 && getTimestampAtHeight(connection, proofHeight) >= packet.timeoutTimestamp))
 
     // verify we actually sent this packet, check the store
     abortTransactionUnless(provableStore.get(packetCommitmentPath(packet.sourcePort, packet.sourceChannel, packet.sequence))