fix: wrong var usage on inline_direct_reduce, now it properly looks at applied func not arg

This commit is contained in:
microproofs 2023-04-25 01:57:04 -04:00
parent baa2cef6c4
commit ae68ae9afb
1 changed files with 1 additions and 1 deletions

View File

@ -179,7 +179,7 @@ fn inline_direct_reduce(term: &mut Term<Name>) {
inline_direct_reduce(func);
inline_direct_reduce(arg);
let Term::Lambda { parameter_name, body } = arg
let Term::Lambda { parameter_name, body } = func
else{
return;
};