diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 270ea8e798ac..c81a3994216e 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2025-09-27"
+channel = "nightly-2025-09-28"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/tools/kani-cov/src/args.rs b/tools/kani-cov/src/args.rs
index 11cfd5d7a73a..ee5f7b287954 100644
--- a/tools/kani-cov/src/args.rs
+++ b/tools/kani-cov/src/args.rs
@@ -10,7 +10,6 @@
 use std::path::PathBuf;
 
 use anyhow::{Result, bail};
-use clap::{arg, command};
 
 use crate::{merge, report, summary};