From e8fc701e6841ef322ff4a4bacad36bdd1a35a956 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81lvaro=20Rodr=C3=ADguez?= <sirasistant@gmail.com>
Date: Wed, 11 Oct 2023 18:52:32 +0200
Subject: [PATCH] fix: Determinism of fallback transformer (#3100)

---
 acvm-repo/acvm/src/compiler/transformers/fallback.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/acvm-repo/acvm/src/compiler/transformers/fallback.rs b/acvm-repo/acvm/src/compiler/transformers/fallback.rs
index d3e4ea506f8..06dfc84a798 100644
--- a/acvm-repo/acvm/src/compiler/transformers/fallback.rs
+++ b/acvm-repo/acvm/src/compiler/transformers/fallback.rs
@@ -60,7 +60,11 @@ impl FallbackTransformer {
         }
 
         Ok((
-            Circuit { current_witness_index: witness_idx, opcodes: acir_supported_opcodes, ..acir },
+            Circuit {
+                current_witness_index: witness_idx - 1,
+                opcodes: acir_supported_opcodes,
+                ..acir
+            },
             new_opcode_positions,
         ))
     }