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 {