From a9bf2080c494b67579b71e56bda45250c93415a8 Mon Sep 17 00:00:00 2001 From: jaisnan Date: Tue, 26 Mar 2024 17:48:04 +0000 Subject: [PATCH] formatting --- src/setup.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/setup.rs b/src/setup.rs index a8ca86a0ed6f..730679f06c10 100644 --- a/src/setup.rs +++ b/src/setup.rs @@ -156,7 +156,8 @@ fn setup_rust_toolchain(kani_dir: &Path, use_local_toolchain: Option) if let Some(local_toolchain_path) = use_local_toolchain { let toolchain_path = Path::new(&local_toolchain_path); - let custom_toolchain_rustc_version = get_rustc_version_from_local_toolchain(local_toolchain_path.clone())?; + let custom_toolchain_rustc_version = + get_rustc_version_from_local_toolchain(local_toolchain_path.clone())?; if rustc_version == custom_toolchain_rustc_version { symlink_rust_toolchain(toolchain_path, kani_dir)?;