Apply suggestions from code review

Co-authored-by: Zyad Hassan <[email protected]>
model-checking · Dec 18, 2024 · 80442fc · 80442fc
1 parent 3ce002a
commit 80442fc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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}");
             }
         }
     }