Tighten core-dump formatting

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}");
                     }
                 }