From 5d931d2db04edc2253360c2f1dee8eb72207aff4 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 20 Jan 2025 13:07:07 +0000
Subject: [PATCH] Update to 2025-01-19

Updates required due to https://github.com/rust-lang/rust/pull/135661
---
 kani-compiler/src/main.rs | 1 -
 rust-toolchain.toml       | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/kani-compiler/src/main.rs b/kani-compiler/src/main.rs
index 02709797cf3a..65424f6d46bf 100644
--- 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
index 995b13999868..dccd76a6b182 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-01-17"
+channel = "nightly-2025-01-19"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]