Skip to content

Commit

Permalink
PLT-4169 Fixed incorrect constraint reference.
Browse files Browse the repository at this point in the history
This addresses the audit comment:

> File Scripts.hs, Function mkRolePayoutValidator, line 150 This line should refer to Constraint 17
rather than Constraint 16.
  • Loading branch information
bwbush committed Mar 15, 2023
1 parent 00a0c24 commit 3fac0d1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion marlowe/src/Language/Marlowe/Scripts.hs
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ mkRolePayoutValidator :: (CurrencySymbol, TokenName) -- ^ The datum is the curr
-> Bool -- ^ Whether the transaction validated.
mkRolePayoutValidator (currency, role) _ ctx =
-- The role token for the correct currency must be present.
-- [Marlowe-Cardano Specification: "16. Payment authorized".]
-- [Marlowe-Cardano Specification: "17. Payment authorized".]
Val.singleton currency role 1 `Val.leq` valueSpent (scriptContextTxInfo ctx)


Expand Down

0 comments on commit 3fac0d1

Please sign in to comment.