From 54e49c45c6e36d8ab1524937acb0fed97f70fb8f Mon Sep 17 00:00:00 2001
From: hkctkuy <Yegorov_Ilya@ispras.ru>
Date: Mon, 14 Aug 2023 15:18:36 +0300
Subject: [PATCH] minor fix

---
 casr/src/util.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/casr/src/util.rs b/casr/src/util.rs
index a993f4cd..6d255d2f 100644
--- a/casr/src/util.rs
+++ b/casr/src/util.rs
@@ -275,7 +275,7 @@ pub fn get_output(command: &mut Command, timeout: u64) -> Result<Output> {
             .unwrap()
             .is_none()
         {
-            child.kill()?;
+            let _ = child.kill();
             warn!("Timeout: {:?}", command);
         }
         Ok(child.wait_with_output()?)