From 78f5e7558181bae9570556f9e16893bfd6fe3362 Mon Sep 17 00:00:00 2001
From: ljedrz <ljedrz@gmail.com>
Date: Mon, 27 May 2024 10:54:09 +0200
Subject: [PATCH] clippy: fix a new lint

Signed-off-by: ljedrz <ljedrz@gmail.com>
---
 src/reduction.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/reduction.rs b/src/reduction.rs
index 2aae9b9..9d8db14 100644
--- a/src/reduction.rs
+++ b/src/reduction.rs
@@ -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 => {