From 4fb604f8d6c138a7cb0a04059592f447021f6490 Mon Sep 17 00:00:00 2001
From: Maria Kotsifakou <kotsifakou.maria@gmail.com>
Date: Thu, 26 Sep 2024 19:30:06 -0500
Subject: [PATCH] Added missing item in store, and fixed corresponding ENV
 index. (#46)

---
 src/uniswap-summaries.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/uniswap-summaries.md b/src/uniswap-summaries.md
index f2bf81e..9c5c351 100644
--- 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})