PLT-4169 Fixed example call to rolePayoutValidator.

This addresses the following audit finding: > File marlowe-cardano-specification.md, Section Plutus Validator > for Marlowe Payouts The type signature of rolePayoutValidator > is missing the datum argument. It should be: rolePayoutValidator > :: CurrencySymbol -> TokenName -> () -> ScriptContext -> Bool
input-output-hk · Mar 15, 2023 · 1d16de1 · 1d16de1
1 parent 8f8183d
commit 1d16de1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/marlowe/specification/marlowe-cardano-specification.md b/marlowe/specification/marlowe-cardano-specification.md
@@ -406,7 +406,7 @@ rolePayoutValidator :: (CurrencySymbol, TokenName) -> () -> ScriptContext -> Boo
 
 Consider the application of the Marlowe payout validator:
 ```haskell
-validationResult' = rolePayoutValidator rolesCurrency' role () scriptContext
+validationResult' = rolePayoutValidator (rolesCurrency', role) () scriptContext
 ```
 
 The validation fails (via returning `False` for `validationResult'` or via the throwing of an error) if any of the following constraints does not hold.