From 1be563401fc0b4fb4ce0a2be16ddf04f0e3c4da5 Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Mon, 9 Oct 2023 06:19:10 +0000
Subject: [PATCH] Fix the formality-smir crate

---
 crates/formality-smir/src/lib.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/crates/formality-smir/src/lib.rs b/crates/formality-smir/src/lib.rs
index 5b40b7fd..17e928e8 100644
--- a/crates/formality-smir/src/lib.rs
+++ b/crates/formality-smir/src/lib.rs
@@ -1,5 +1,8 @@
 #![feature(rustc_private)]
 
+/// This import is needed, because `stable_mir` on its own doesn't have the `scoped_tls` rlib.
+extern crate rustc_driver;
+/// Access to the pre-0.1 stable_mir crate
 extern crate stable_mir;
 
 /// Trait used to convert from Stable MIR to Formality types.