From b50325d3a59532698e3a671e9308e34959e54589 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C5=A1per=20Dobrovoljc?= <gasper.dobrovoljc1@gmail.com>
Date: Sun, 11 May 2025 21:28:31 +0200
Subject: [PATCH] Fixed string size undo

---
 src/pins25/phase/Memory.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pins25/phase/Memory.java b/src/pins25/phase/Memory.java
index 5ac5d1f..3e7234d 100644
--- a/src/pins25/phase/Memory.java
+++ b/src/pins25/phase/Memory.java
@@ -278,7 +278,7 @@ public class Memory {
                             Vector<Integer> str = decodeStrConst(init.value, valLoc);
                             inits.add(str.size());
                             inits.addAll(str);
-                            size += 4 * num;
+                            size += 4 * str.size() * num;
                             break;
                     }
                 }