From 80442fc3167a8a57fe0f936efa735c8cec5bca08 Mon Sep 17 00:00:00 2001
From: Carolyn Zech <cmzech@amazon.com>
Date: Wed, 18 Dec 2024 17:25:57 -0500
Subject: [PATCH] Apply suggestions from code review

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
---
 kani-driver/src/harness_runner.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kani-driver/src/harness_runner.rs b/kani-driver/src/harness_runner.rs
index 2994ffcb0386..b78e1dc9d80b 100644
--- a/kani-driver/src/harness_runner.rs
+++ b/kani-driver/src/harness_runner.rs
@@ -116,9 +116,9 @@ impl KaniSession {
 
             let output = result.render(&self.args.output_format, harness.attributes.should_panic);
             if rayon::current_num_threads() > 1 {
-                println!("Thread {thread_index}: {}", output);
+                println!("Thread {thread_index}: {output}");
             } else {
-                println!("{}", output);
+                println!("{output}");
             }
         }
     }