Update lib.rs

oli-obk · web-flow · commit aba6c89e591c · 2023-10-08T12:16:41.000+02:00
diff --git a/crates/formality-smir/src/lib.rs b/crates/formality-smir/src/lib.rs
@@ -1,9 +1,6 @@
 #![feature(rustc_private)]
 
-extern crate rustc_driver;
-extern crate rustc_smir;
-
-use rustc_smir::stable_mir;
+extern crate stable_mir;
 
 /// Trait used to convert from Stable MIR to Formality types.
 pub trait ToFormality {
