diff --git a/kani-compiler/src/session.rs b/kani-compiler/src/session.rs
index b84420cb62b..13c6d93b0bd 100644
--- a/kani-compiler/src/session.rs
+++ b/kani-compiler/src/session.rs
@@ -59,7 +59,7 @@ static JSON_PANIC_HOOK: LazyLock<Box<dyn Fn(&panic::PanicHookInfo<'_>) + Sync +
                 Some(Arc::new(SourceMap::new(FilePathMapping::empty()))),
                 default_translator(),
                 false,
-                HumanReadableErrorType::Default,
+                HumanReadableErrorType::Default { short: false },
                 ColorConfig::Never,
             );
             let registry = ErrorRegistry::new(&[]);
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 8ceedccfa1e..92600ae6d1e 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-11-06"
+channel = "nightly-2025-11-07"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]