From a03622d5706a78a451c40e8763437e2c313305a8 Mon Sep 17 00:00:00 2001
From: Tomasz Kramkowski <tomasz@kramkow.ski>
Date: Thu, 16 Oct 2025 19:24:36 +0100
Subject: Tighten core-dump formatting

---
 src/main.rs | 6 +-----
 1 file changed, 1 insertion(+), 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}");
                     }
                 }
-- 
cgit v1.2.3-70-g09d2