github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

remove default fold_directive

Browse source
This commit is contained in:
dark64 2020-03-30 14:31:47 +02:00
parent b938795922
commit 8ed1545d16
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_core/src/static_analysis/unconstrained_vars.rs
View file

@ -1,6 +1,6 @@
use crate::ir::Prog;
use flat_absy::FlatVariable;
use ir::folder::{fold_directive, Folder};
use ir::folder::Folder;
use ir::Directive;
use std::collections::HashSet;
use zokrates_field::field::Field;
@ -47,7 +47,7 @@ impl<T: Field> Folder<T> for UnconstrainedVariableDetector {
}
fn fold_directive(&mut self, d: Directive<T>) -> Directive<T> {
self.variables.extend(d.outputs.iter());
fold_directive(self, d)
d
}
}