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![]) );