Merge pull request #2703 from ehuss/fix-clippy

Fix clippy lint for 1.88
This commit is contained in:
Eric Huss 2025-05-15 01:27:40 +00:00 committed by GitHub
commit fd768efba2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -23,7 +23,7 @@ fn main() {
}
if let Err(e) = handle_preprocessing() {
eprintln!("{}", e);
eprintln!("{e}");
std::process::exit(1);
}
}