From 2b418f021bfd406120e859116a3c07943be6dd7a Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Thu, 30 Nov 2023 11:08:50 -0800
Subject: [PATCH] Fix test after moving name fn to CrateDef trait

---
 tools/test-drive/src/sanity_checks.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/test-drive/src/sanity_checks.rs b/tools/test-drive/src/sanity_checks.rs
index 31aca91..106fd7f 100644
--- a/tools/test-drive/src/sanity_checks.rs
+++ b/tools/test-drive/src/sanity_checks.rs
@@ -4,7 +4,7 @@
 //! These checks should only depend on StableMIR APIs. See other modules for tests that compare
 //! the result between StableMIR and internal APIs.
 use crate::TestResult;
-use stable_mir::{self, mir, mir::MirVisitor, ty};
+use stable_mir::{self, mir, mir::MirVisitor, ty, CrateDef};
 use std::collections::HashSet;
 use std::fmt::Debug;
 use std::iter::zip;