From f45593cfd564d3a702030c56cbca91698a90950f Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Tue, 3 Oct 2023 03:35:29 +0200
Subject: [PATCH] lnf: remove unnecessary mut

---
 src/lnf.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lnf.rs b/src/lnf.rs
index 9e38aea..b284df5 100644
--- a/src/lnf.rs
+++ b/src/lnf.rs
@@ -45,7 +45,7 @@ impl TypeTerm {
             }
 
             TypeTerm::App(args) => {
-                let mut args_iter = args.into_iter();
+                let args_iter = args.into_iter();
 
                 new_ladder.push( TypeTerm::App(vec![]) );