From 1e44ec2b5d3c4ad9f1fbe2b43f091dac3cf1b93f Mon Sep 17 00:00:00 2001
From: Darko Macesic <darem966@gmail.com>
Date: Fri, 10 Dec 2021 18:02:42 +0100
Subject: [PATCH] Update condition_redefiner.rs

typo
---
 zokrates_core/src/static_analysis/condition_redefiner.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zokrates_core/src/static_analysis/condition_redefiner.rs b/zokrates_core/src/static_analysis/condition_redefiner.rs
index 2ba39ddf..b09f68ba 100644
--- a/zokrates_core/src/static_analysis/condition_redefiner.rs
+++ b/zokrates_core/src/static_analysis/condition_redefiner.rs
@@ -265,7 +265,7 @@ mod tests {
         // should become
         //
         // bool #CONDITION_0 = c && d
-        // field foo = if c && d then {
+        // field foo = if #CONDITION_0 then {
         //     field a = 1
         //     bool #CONDITION_1 = e && f
         //     if #CONDITION_1 then 2 else 3