From 3951c5e530aa0e6476d93f440b4dc23db7646109 Mon Sep 17 00:00:00 2001
From: Kevin Phoenix <kevin@kphoenix.us>
Date: Wed, 30 Oct 2024 15:52:10 -0700
Subject: [PATCH] Cargo fmt

---
 crates/clarirs_py/src/ast/fp.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/crates/clarirs_py/src/ast/fp.rs b/crates/clarirs_py/src/ast/fp.rs
index 644962b..1a5786a 100644
--- a/crates/clarirs_py/src/ast/fp.rs
+++ b/crates/clarirs_py/src/ast/fp.rs
@@ -103,7 +103,12 @@ pub fn FPV(py: Python, value: f64, sort: PyFSort) -> Result<Py<FP>, ClaripyError
 }
 
 #[pyfunction]
-pub fn fpFP(py: Python, sign: Bound<BV>, exponent: Bound<BV>, significand: Bound<BV>) -> Result<Py<FP>, ClaripyError> {
+pub fn fpFP(
+    py: Python,
+    sign: Bound<BV>,
+    exponent: Bound<BV>,
+    significand: Bound<BV>,
+) -> Result<Py<FP>, ClaripyError> {
     todo!()
 }