From f3938113acb7d9824c5e48df7d45e96103add43c Mon Sep 17 00:00:00 2001
From: Lydia Garms <Lydia.Garms@uk.ey.com>
Date: Fri, 5 Jul 2024 17:46:58 +0100
Subject: [PATCH] fix: for decrementation

---
 src/boilerplate/circuit/zokrates/raw/BoilerplateGenerator.ts | 2 +-
 src/codeGenerators/circuit/zokrates/toCircuit.ts             | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/boilerplate/circuit/zokrates/raw/BoilerplateGenerator.ts b/src/boilerplate/circuit/zokrates/raw/BoilerplateGenerator.ts
index facea931..b5fbc3cf 100644
--- a/src/boilerplate/circuit/zokrates/raw/BoilerplateGenerator.ts
+++ b/src/boilerplate/circuit/zokrates/raw/BoilerplateGenerator.ts
@@ -549,7 +549,7 @@ class BoilerplateGenerator {
 
     statements({ name: x, subtrahend, newCommitmentValue, structProperties, memberName}): string[] {
       if (structProperties) {
-        return [`${x}.${memberName} = ${x}.${memberName} - ${newCommitmentValue[memberName]}`]
+        return [`${x}.${memberName} = ${x}.${memberName} - ${newCommitmentValue}`]
       }
       return [`${x} =  ${x} - (${newCommitmentValue})`];
       // const y = codeGenerator(subtrahend);
diff --git a/src/codeGenerators/circuit/zokrates/toCircuit.ts b/src/codeGenerators/circuit/zokrates/toCircuit.ts
index f93b0695..07378bc0 100644
--- a/src/codeGenerators/circuit/zokrates/toCircuit.ts
+++ b/src/codeGenerators/circuit/zokrates/toCircuit.ts
@@ -315,9 +315,6 @@ function codeGenerator(node: any) {
       let newComValue = '';
       if (node.bpType === 'incrementation') newComValue  = codeGenerator(node.addend);
       if (node.bpType === 'decrementation') newComValue  = codeGenerator(node.subtrahend);
-      console.log(node.newCommitmentValue);
-      console.log(node.addend);
-      console.log(newComValue);
       node.newCommitmentValue = newComValue;
       return Circuitbp.generateBoilerplate(node);
     }