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

use string instead of cloning

Browse source
This commit is contained in:
dark64 2021-04-19 11:32:11 +02:00
parent a271993832
commit 41a1b5f661
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
zokrates_core/src/static_analysis/propagation.rs
View file

@ -657,12 +657,13 @@ impl<'ast, 'a, T: Field> ResultFolder<'ast, T> for Propagator<'ast, 'a, T> {
Ok(statements)
}
TypedStatement::Assertion(ref e) => {
let expr = self.fold_boolean_expression(e.clone())?;
TypedStatement::Assertion(e) => {
let e_str = e.to_string();
let expr = self.fold_boolean_expression(e)?;
match expr {
BooleanExpression::Value(v) if !v => Err(Error::Type(format!(
"Assertion failed on expression `{}`",
e
e_str
))),
_ => Ok(vec![TypedStatement::Assertion(expr)]),
}