From 0a061968641e58c315dc5754420938d8d7895d3b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E8=A2=81=E6=B5=A9?= Date: Mon, 9 Oct 2023 21:07:36 +0800 Subject: [PATCH] bugfix for teeos use Option MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: 袁浩 --- src/teeos/mod.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/teeos/mod.rs b/src/teeos/mod.rs index 13d8ce1b8ffd2..cffe041976573 100644 --- a/src/teeos/mod.rs +++ b/src/teeos/mod.rs @@ -8,6 +8,8 @@ // only supported on Rust > 1.59, so we can directly reexport c_void from core. pub use core::ffi::c_void; +use Option; + pub type c_schar = i8; pub type c_uchar = u8;