diff --git a/miri/bin/miri.rs b/miri/bin/miri.rs
index 6ea1fac605..d74c05c046 100644
--- a/miri/bin/miri.rs
+++ b/miri/bin/miri.rs
@@ -116,7 +116,7 @@ fn after_analysis<'a, 'tcx>(state: &mut CompileState<'a, 'tcx>) {
                         let did = self.1.hir.body_owner_def_id(body_id);
                         println!(
                             "running test: {}",
-                            self.1.hir.def_path(did).to_string(self.1)
+                            self.1.def_path_debug_str(did),
                         );
                         miri::eval_main(self.1, did, None, self.0);
                         self.2.session.abort_if_errors();