From b7e149b94889774c5cbf50bf31f218575ae3c4bb Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Tue, 9 Jan 2024 09:11:04 +0000
Subject: [PATCH] Remove unecessary instance of #![feature(never_type)]

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 crates/sel4-microkit/message/src/lib.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/crates/sel4-microkit/message/src/lib.rs b/crates/sel4-microkit/message/src/lib.rs
index e6696f15d..8a305054d 100644
--- a/crates/sel4-microkit/message/src/lib.rs
+++ b/crates/sel4-microkit/message/src/lib.rs
@@ -5,7 +5,6 @@
 //
 
 #![no_std]
-#![feature(never_type)]
 #![feature(unwrap_infallible)]
 
 use core::fmt;