Merge pull request #141 from oli-obk/patch-2

update SMIR dependency to latest nightly
rust-lang · Oct 8, 2023 · da1c0e2 · da1c0e2
2 parents 13b4ad8 + aba6c89
commit da1c0e2
Showing 1 changed file with 1 addition and 4 deletions.
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 {