From 8215eec0cfc5dc3ed650aec31d1613541c895f27 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Mon, 4 May 2026 17:54:44 +0200
Subject: [PATCH] clippy fix

---
 firmware/zynq7000-hal/src/log.rs | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/firmware/zynq7000-hal/src/log.rs b/firmware/zynq7000-hal/src/log.rs
index d5fc8d0..6b9777d 100644
--- a/firmware/zynq7000-hal/src/log.rs
+++ b/firmware/zynq7000-hal/src/log.rs
@@ -210,15 +210,12 @@ pub mod asynch {
 
                 let pipe_writer_ref = self.pipe.borrow();
                 let pipe_writer = pipe_writer_ref.as_ref().unwrap();
-                loop {
-                    match pipe_writer.try_write(&buf.as_bytes()[written..]) {
-                        Ok(written_in_this_call) => {
-                            written += written_in_this_call;
-                            if written >= buf.len() {
-                                break;
-                            }
-                        }
-                        Err(_) => break,
+                while let Ok(written_in_this_call) =
+                    pipe_writer.try_write(&buf.as_bytes()[written..])
+                {
+                    written += written_in_this_call;
+                    if written >= buf.len() {
+                        break;
                     }
                 }
             });