From 5e0366583e975df7c69a63f63a5c7003ae0a4b2b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Wed, 21 Feb 2024 14:26:58 +0100
Subject: [PATCH] fix: disable unused core_intrinsics feature
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Jonathan Klimt <jonathan.klimt@eonerc.rwth-aachen.de>
Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index fe781d6..74a03d0 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -7,7 +7,7 @@
 
 #![allow(dead_code)]
 #![allow(stable_features)]
-#![feature(asm_const, core_intrinsics)]
+#![feature(asm_const)]
 #![no_std]
 
 pub mod instructions;