Fix clippy

adpaco-aws · Sep 12, 2023 · 6c87e4e · 6c87e4e
1 parent 113482f
commit 6c87e4e
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
@@ -387,15 +387,15 @@ mod concrete_vals_extractor {
                     // convert the character into its ASCII value in that case.
                     let interp_val = {
                         let interp_val_str = interp_concrete_val.to_string();
-                        if interp_val_str.starts_with("\'") && interp_val_str.ends_with("\'") {
+                        if interp_val_str.starts_with('\'') && interp_val_str.ends_with('\'') {
                             let interp_num = interp_val_str.chars().nth(1).unwrap() as u8;
                             interp_num.to_string()
                         } else {
                             interp_val_str
                         }
                     };
 
-                    return Some(ConcreteVal { byte_arr: next_num, interp_val: interp_val });
+                    return Some(ConcreteVal { byte_arr: next_num, interp_val });
                 }
             }
         }