From c3e39301e28d3210ded5fe978c77d8c323db2a19 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Thu, 22 Aug 2024 16:42:41 +0200
Subject: [PATCH] Re-format source code using cargo fmt.

---
 crates/aiken-project/src/test_framework.rs | 21 ++++++++-------------
 1 file changed, 8 insertions(+), 13 deletions(-)

diff --git a/crates/aiken-project/src/test_framework.rs b/crates/aiken-project/src/test_framework.rs
index 935b931e..cac3d445 100644
--- a/crates/aiken-project/src/test_framework.rs
+++ b/crates/aiken-project/src/test_framework.rs
@@ -507,10 +507,8 @@ impl Prng {
         fn as_prng(cst: &PlutusData) -> Prng {
             if let PlutusData::Constr(Constr { tag, fields, .. }) = cst {
                 if *tag == 121 + Prng::SEEDED {
-                    if let [
-                        PlutusData::BoundedBytes(bytes),
-                        PlutusData::BoundedBytes(choices),
-                    ] = &fields[..]
+                    if let [PlutusData::BoundedBytes(bytes), PlutusData::BoundedBytes(choices)] =
+                        &fields[..]
                     {
                         return Prng::Seeded {
                             choices: choices.to_vec(),
@@ -1089,11 +1087,9 @@ impl TryFrom<TypedExpr> for Assertion<TypedExpr> {
                 final_else,
                 ..
             } => {
-                if let [
-                    IfBranch {
-                        condition, body, ..
-                    },
-                ] = &branches[..]
+                if let [IfBranch {
+                    condition, body, ..
+                }] = &branches[..]
                 {
                     let then_is_true = match body {
                         TypedExpr::Var {
@@ -1513,14 +1509,13 @@ mod test {
             }
         "#});
 
-        assert!(
-            prop.run::<()>(
+        assert!(prop
+            .run::<()>(
                 42,
                 PropertyTest::DEFAULT_MAX_SUCCESS,
                 &PlutusVersion::default()
             )
-            .is_success()
-        );
+            .is_success());
     }
 
     #[test]