update w/ clippy recommendation

model-checking · Oct 27, 2023 · 4dfc327 · 4dfc327
1 parent a025bc9
commit 4dfc327
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-driver/src/main.rs b/kani-driver/src/main.rs
@@ -130,7 +130,7 @@ enum InvocationType {
 
 /// Peeks at command line arguments to determine if we're being invoked as 'kani' or 'cargo-kani'
 fn determine_invocation_type(mut args: Vec<OsString>) -> InvocationType {
- let exe = util::executable_basename(&args.get(0));
+ let exe = util::executable_basename(&args.first());
 
  // Case 1: if 'kani' is our first real argument, then we're being invoked as cargo-kani
  // 'cargo kani ...' will cause cargo to run 'cargo-kani kani ...' preserving argv1