Fix clippy

model-checking · Jul 27, 2024 · a143747 · a143747
1 parent 33188d1
commit a143747
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kani-driver/src/concrete_playback/test_generator.rs b/kani-driver/src/concrete_playback/test_generator.rs
@@ -46,7 +46,7 @@ impl KaniSession {
                     .iter()
                     .map(|(prop, concrete_vals)| {
                         let pretty_name = harness.get_harness_name_unqualified();
-                        format_unit_test(&pretty_name, &concrete_vals, gen_test_doc(harness, *prop))
+                        format_unit_test(&pretty_name, &concrete_vals, gen_test_doc(harness, prop))
                     })
                     .collect();
                 unit_tests.dedup_by(|a, b| a.name == b.name);
@@ -170,7 +170,7 @@ impl KaniSession {
                 if curr_line_num == proof_harness_end_line {
                     for unit_test in unit_tests.iter() {
                         // Write an empty line before the unit test.
-                        writeln!(temp_file, "")?;
+                        writeln!(temp_file)?;
 
                         for unit_test_line in unit_test.code.iter() {
                             curr_line_num += 1;