diff options
| -rw-r--r-- | src/main.rs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/main.rs b/src/main.rs index e319955..4788174 100644 --- a/src/main.rs +++ b/src/main.rs @@ -76,11 +76,7 @@ fn run_route_programs<'a, R>( debug!("Program exited successfully."); } } else if let Some(signal) = c.signal() { - let core_dumped = if c.core_dumped() { - " (core dumped)" - } else { - "" - }; + let core_dumped = c.core_dumped().then_some(" (core dumped)").unwrap_or(""); warn!("Program received signal: {signal}{core_dumped}"); } } |