lnf: remove unnecessary mut
This commit is contained in:
parent
45f49378fa
commit
f45593cfd5
1 changed files with 1 additions and 1 deletions
|
@ -45,7 +45,7 @@ impl TypeTerm {
|
||||||
}
|
}
|
||||||
|
|
||||||
TypeTerm::App(args) => {
|
TypeTerm::App(args) => {
|
||||||
let mut args_iter = args.into_iter();
|
let args_iter = args.into_iter();
|
||||||
|
|
||||||
new_ladder.push( TypeTerm::App(vec![]) );
|
new_ladder.push( TypeTerm::App(vec![]) );
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue