From 33284ec099299a4c9b587a196ade88773cb1c430 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 21 Sep 2022 15:24:06 +0200
Subject: [PATCH] remove unnecessary to_string

---
 src/machine.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/machine.rs b/src/machine.rs
index f11771911f..dcfb998c56 100644
--- a/src/machine.rs
+++ b/src/machine.rs
@@ -464,7 +464,7 @@ impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> {
             clock: Clock::new(config.isolated_op == IsolatedOp::Allow),
             #[cfg(unix)]
             external_so_lib: config.external_so_file.as_ref().map(|lib_file_path| {
-                let target_triple = &layout_cx.tcx.sess.opts.target_triple.to_string();
+                let target_triple = layout_cx.tcx.sess.opts.target_triple.triple();
                 // Check if host target == the session target.
                 if env!("TARGET") != target_triple {
                     panic!(