From 38c476f71eb8f24893da6e2c982e4303f5909f08 Mon Sep 17 00:00:00 2001
From: openhands <openhands@all-hands.dev>
Date: Sun, 15 Mar 2026 05:27:09 +0000
Subject: [PATCH] fix: No-op varCounter assignment before false branch in
 processExecIf (#655)

---
 tools/push3-transpiler/src/transpiler.ts | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/push3-transpiler/src/transpiler.ts b/tools/push3-transpiler/src/transpiler.ts
index b86e022..5aae3a3 100644
--- a/tools/push3-transpiler/src/transpiler.ts
+++ b/tools/push3-transpiler/src/transpiler.ts
@@ -254,7 +254,6 @@ function processExecIf(
 
   // --- Simulate FALSE branch ---
   const falseState = makeSubState(state);
-  state.varCounter = falseState.varCounter; // will be updated after false branch too
   processItems(toItems(falseBranch), falseState);
   state.varCounter = falseState.varCounter;