fmt

verus-lang · Jul 21, 2023 · 25e1c62 · 25e1c62
1 parent 937d21c
commit 25e1c62
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/source/verus/src/main.rs b/source/verus/src/main.rs
@@ -236,7 +236,6 @@ pub struct Reports {
 }
 
 fn repo_path() -> Option<Reports> {
-
     // check if user has git as executable
     if Command::new("git").arg("--version").output().is_err() {
         return None;
@@ -277,7 +276,6 @@ fn repo_path() -> Option<Reports> {
     let input_file: Option<String> = match rs_files.len() {
         1 => Some(rs_files[0].clone()),
         _ => {
-            eprintln!("{}: cannot find input file", yansi::Paint::red("error"));
             None // passed down to rust_verify for error message
         }
     };