From 24ce839fb953d1172a19479edcb2f75877cf153e Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 8 Sep 2025 12:00:36 +0200
Subject: [PATCH] clippy

---
 src/tools/miri/src/math.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri/src/math.rs b/src/tools/miri/src/math.rs
index 7d2f1c083687..254495637da4 100644
--- a/src/tools/miri/src/math.rs
+++ b/src/tools/miri/src/math.rs
@@ -308,7 +308,7 @@ where
             Some(if return_nan { ecx.generate_nan(&[base]) } else { one })
         }
 
-        _ => return None,
+        _ => None,
     }
 }