patch general case

2025-09-24 04:40:05 +00:00 · 2019-10-01 13:06:44 +02:00 · 2019-10-01 13:06:44 +02:00 · 1eb0cc8e52
commit 1eb0cc8e52
parent 542c4c1412
1 changed files with 1 additions and 1 deletions
--- a/zokrates_core/src/static_analysis/propagation.rs
+++ b/zokrates_core/src/static_analysis/propagation.rs
@ -418,7 +418,7 @@ impl<'ast, T: Field> Folder<'ast, T> for Propagator<'ast, T> {
                let e = self.fold_boolean_expression(e);
                match e {
                    BooleanExpression::Value(v) => BooleanExpression::Value(!v),
-                    e => e,
+                    e => BooleanExpression::Not(box e),
                }
            }
            BooleanExpression::IfElse(box condition, box consequence, box alternative) => {