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;