Update condition_redefiner.rs

typo
2025-09-23 12:18:44 +00:00 · 2021-12-10 18:02:42 +01:00 · 2021-12-10 18:02:42 +01:00 · 1e44ec2b5d
commit 1e44ec2b5d
parent 0cb1d35287
1 changed files with 1 additions and 1 deletions
--- 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