diff --git a/src/main.rs b/src/main.rs index 63b64a166..8b6e86ce0 100644 --- a/src/main.rs +++ b/src/main.rs @@ -384,7 +384,6 @@ fn execute_cli_mode(mut cli: Cli) -> Result<(), Diagnostics> { println!("{}", res_term); } - if arg_stats { println!("\nRWTS : {}", total_rewrites); println!("- ANNI : {}", stats.rewrites.anni);