From 3597a8596a6ad3e606c14b5cc8c13cec9b958600 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cornell.edu>
Date: Thu, 19 Dec 2024 08:57:04 -0500
Subject: [PATCH] fix clippy warning

---
 src/bv/arithmetic.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/bv/arithmetic.rs b/src/bv/arithmetic.rs
index 4d2a225..b15b552 100644
--- a/src/bv/arithmetic.rs
+++ b/src/bv/arithmetic.rs
@@ -256,10 +256,7 @@ pub(crate) fn shift_right(
     clear(dst);
 
     // check to see if we are shifting for more than our width
-    let shift_amount = match get_shift_amount(b, width) {
-        None => return None,
-        Some(value) => value,
-    };
+    let shift_amount = get_shift_amount(b, width)?;
 
     // otherwise we actually perform the shift by converting it to a slice
     let hi = width - 1;