Auto merge of #3379 - Sword-Destiny:main, r=JohnTitor

bugfix for teeos use Option add use Option for teeos
rust-lang · Oct 9, 2023 · 78301e2 · 78301e2
2 parents b4b6a53 + 0a06196
commit 78301e2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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;