github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

fix infinite recursion

Browse source
This commit is contained in:
schaeff 2022-08-22 13:10:06 +02:00
parent e4fbc6d35a
commit fab3abf5e0
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
zokrates_core/src/static_analysis/zir_propagation.rs
View file

@ -1,5 +1,6 @@
use std::collections::HashMap;
use std::fmt;
use zokrates_ast::zir::folder::fold_uint_expression_inner;
use zokrates_ast::zir::result_folder::fold_boolean_expression;
use zokrates_ast::zir::result_folder::fold_field_expression;
use zokrates_ast::zir::result_folder::fold_statement;
@ -587,7 +588,7 @@ impl<'ast, T: Field> ResultFolder<'ast, T> for ZirPropagator<'ast, T> {
e => Ok(UExpressionInner::Not(box e.annotate(bitwidth))),
}
}
e => self.fold_uint_expression_inner(bitwidth, e),
e => fold_uint_expression_inner(bitwidth, e),
}
}