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

nikomatsakis · web-flow · commit da1c0e291214 · 2023-10-08T06:19:14.000-04:00
update SMIR dependency to latest nightly
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 {
