Added missing item in store, and fixed corresponding ENV index. (#46)

Pi-Squared-Inc · Sep 27, 2024 · 4fb604f · 4fb604f
1 parent 2b1217b
commit 4fb604f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/uniswap-summaries.md b/src/uniswap-summaries.md
@@ -3137,8 +3137,9 @@ module SOLIDITY-UNISWAP-GETRESERVES-SUMMARY
         <this-type> TYPE </this-type>
         <contract-id> TYPE </contract-id>
         <current-function> getReserves </current-function>
-        <env> ENV=> ENV [ reserves <- var(size(S), uint112 []) ] </env>
-        <store> S => S ListItem(
+        <env> ENV=> ENV [ reserves <- var(size(S) +Int 1, uint112 []) ] </env>
+        <store> S => S ListItem(default(uint112 []))
+                       ListItem(
                               ListItem({Storage[reserve0] orDefault 0p112}:>MInt{112})
                               ListItem({Storage[reserve1] orDefault 0p112}:>MInt{112})
                               ListItem(roundMInt({Storage[blockTimestampLast] orDefault 0p32}:>MInt{32}):MInt{112})