Update to 2025-01-19

Updates required due to rust-lang/rust#135661
tautschnig · Jan 20, 2025 · 5d931d2 · 5d931d2
1 parent f49d76b
commit 5d931d2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/kani-compiler/src/main.rs b/kani-compiler/src/main.rs
@@ -16,7 +16,6 @@
 #![feature(f128)]
 #![feature(f16)]
 #![feature(non_exhaustive_omitted_patterns_lint)]
-#![feature(float_next_up_down)]
 #![feature(try_blocks)]
 extern crate rustc_abi;
 extern crate rustc_ast;

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2025-01-17"
+channel = "nightly-2025-01-19"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]