From 77faee672e88b2efffcea6b89fdb3a4c06890a14 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Sat, 9 Mar 2024 01:28:48 +0100 Subject: [PATCH] cargo fmt --all --- crates/aiken-project/src/test_framework.rs | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) diff --git a/crates/aiken-project/src/test_framework.rs b/crates/aiken-project/src/test_framework.rs index e05f9592..84037a19 100644 --- a/crates/aiken-project/src/test_framework.rs +++ b/crates/aiken-project/src/test_framework.rs @@ -444,10 +444,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(), @@ -986,11 +984,9 @@ impl TryFrom for Assertion { final_else, .. } => { - if let [ - IfBranch { - condition, body, .. - }, - ] = &branches[..] + if let [IfBranch { + condition, body, .. + }] = &branches[..] { let then_is_true = match body { TypedExpr::Var {