From 7ad77a14ae5ed489347aee12a4381fb7e86cab29 Mon Sep 17 00:00:00 2001
From: topjohnwu <topjohnwu@gmail.com>
Date: Mon, 17 Jul 2023 21:43:09 -0700
Subject: [PATCH] Remove unused line

---
 native/src/boot/lib.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/native/src/boot/lib.rs b/native/src/boot/lib.rs
index bce450f45..ecd5e95df 100644
--- a/native/src/boot/lib.rs
+++ b/native/src/boot/lib.rs
@@ -1,8 +1,6 @@
 #![feature(format_args_nl)]
 #![feature(btree_drain_filter)]
 
-extern crate alloc;
-
 pub use base;
 use cpio::cpio_commands;
 use patch::{hexpatch, patch_encryption, patch_verity};