From 68d5d3aaf2fad0c4505381693960fc5c0c3aa2e1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Fri, 15 Dec 2023 10:43:45 +0100
Subject: [PATCH] build: upgrade to nightly-2023-12-15
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 rust-toolchain.toml | 2 +-
 src/lib.rs          | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index ebae252ef5..1eeb12bbe0 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -1,5 +1,5 @@
 [toolchain]
-channel = "nightly-2023-12-01"
+channel = "nightly-2023-12-15"
 components = [
     "llvm-tools",
     "rust-src",
diff --git a/src/lib.rs b/src/lib.rs
index fca9b56f00..2bda8c3e6b 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -15,6 +15,7 @@
 #![cfg_attr(target_arch = "riscv64", feature(offset_of))]
 #![feature(allocator_api)]
 #![feature(asm_const)]
+#![feature(exposed_provenance)]
 #![feature(linked_list_cursors)]
 #![feature(maybe_uninit_slice)]
 #![feature(naked_functions)]