fix multivalidator issue

This commit is contained in:
microproofs 2023-07-31 15:00:49 -04:00 committed by Kasey
parent 281a8363c0
commit 7bf22fa58b
1 changed files with 1 additions and 1 deletions

View File

@ -135,7 +135,7 @@ impl<'a> CodeGenerator<'a> {
air_tree_fun_other = wrap_validator_condition(air_tree_fun_other); air_tree_fun_other = wrap_validator_condition(air_tree_fun_other);
let mut validator_args_tree_other = let mut validator_args_tree_other =
self.check_validator_args(&fun.arguments, true, air_tree_fun_other); self.check_validator_args(&other.arguments, true, air_tree_fun_other);
validator_args_tree_other = AirTree::no_op().hoist_over(validator_args_tree_other); validator_args_tree_other = AirTree::no_op().hoist_over(validator_args_tree_other);