From aba6c89e591cf4f0cd2213e78ff8d60411c7b267 Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Sun, 8 Oct 2023 12:16:41 +0200
Subject: [PATCH] Update lib.rs

---
 crates/formality-smir/src/lib.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/crates/formality-smir/src/lib.rs b/crates/formality-smir/src/lib.rs
index 7c7a6f77..5b40b7fd 100644
--- 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 {