Cargo fmt

twizmwazin · Oct 30, 2024 · 3951c5e · 3951c5e
1 parent b49350a
commit 3951c5e
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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!()
 }