Skip to content

Commit

Permalink
clippy: fix a new lint
Browse files Browse the repository at this point in the history
Signed-off-by: ljedrz <ljedrz@gmail.com>
  • Loading branch information
ljedrz committed May 27, 2024
1 parent 0a613d8 commit 78f5e75
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/reduction.rs
Original file line number Diff line number Diff line change
Expand Up @@ -84,7 +84,7 @@ impl Term {
match self {
Var(i) => match (*i).cmp(&depth) {
cmp::Ordering::Equal => {
*self = rhs.to_owned(); // substitute a top-level variable from lhs with rhs
rhs.clone_into(self); // substitute a top-level variable from lhs with rhs
self.update_free_variables(depth - 1, 0); // update indices of free variables from rhs
}
cmp::Ordering::Greater => {
Expand Down

0 comments on commit 78f5e75

Please sign in to comment.