Remove unused arg

This commit is contained in:
Ayaz Hafiz 2022-08-01 15:59:59 -05:00
parent fc9ff928eb
commit 394a76a7cd
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -677,7 +677,6 @@ fn unify_two_aliases<M: MetaCollector>(
real_var: Variable,
other_args: AliasVariables,
other_real_var: Variable,
_other_content: &Content,
) -> Outcome<M> {
if args.len() == other_args.len() {
let mut outcome = Outcome::default();
@ -800,7 +799,6 @@ fn unify_alias<M: MetaCollector>(
real_var,
*other_args,
*other_real_var,
other_content,
)
} else {
unify_pool(env, pool, real_var, *other_real_var, ctx.mode)
@ -870,7 +868,6 @@ fn unify_opaque<M: MetaCollector>(
real_var,
*other_args,
*other_real_var,
other_content,
)
} else {
mismatch!("{:?}", symbol)