From 3fac0d1749d107f13743756aa50c9723e776e391 Mon Sep 17 00:00:00 2001 From: Brian W Bush Date: Tue, 7 Mar 2023 12:42:01 -0700 Subject: [PATCH] PLT-4169 Fixed incorrect constraint reference. This addresses the audit comment: > File Scripts.hs, Function mkRolePayoutValidator, line 150 This line should refer to Constraint 17 rather than Constraint 16. --- marlowe/src/Language/Marlowe/Scripts.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/marlowe/src/Language/Marlowe/Scripts.hs b/marlowe/src/Language/Marlowe/Scripts.hs index 452cd66862..adcb755a85 100644 --- a/marlowe/src/Language/Marlowe/Scripts.hs +++ b/marlowe/src/Language/Marlowe/Scripts.hs @@ -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)