From 8651f62c6b65159c0990913d94c19528b1530f72 Mon Sep 17 00:00:00 2001
From: "Joseph C. Osborn" <joseph.osborn@pomona.edu>
Date: Thu, 30 Oct 2025 12:53:59 -0700
Subject: [PATCH] clippy

---
 src/bin/reencode.rs | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/bin/reencode.rs b/src/bin/reencode.rs
index 4bd474e..2de3cf7 100644
--- a/src/bin/reencode.rs
+++ b/src/bin/reencode.rs
@@ -52,11 +52,9 @@ fn main() {
         Timer::EncodeStatestream,
     ] {
         let times = stats(timer);
-        println!(
-            "{timer:?}: {} ({:.8}ms avg)",
-            times.count,
-            ((times.micros as f64 / times.count as f64) / 1000.0)
-        );
+        #[allow(clippy::cast_precision_loss)]
+        let avg_time = (times.micros as f64 / times.count as f64) / 1000.0;
+        println!("{timer:?}: {} ({avg_time:.8}ms avg)", times.count,);
     }
     for counter in [
         Counter::EncReusedBlocks,