Skip to content

Commit

Permalink
Fix PS-generator and generated files to match (#63)
Browse files Browse the repository at this point in the history
  • Loading branch information
palas authored Jan 16, 2024
1 parent aee92de commit 6052803
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -127,7 +127,7 @@ explicitRefunds = False
seller, buyer, burnAddress :: Party
buyer = Role "Buyer"
seller = Role "Seller"
burnAddress = Address testnet (P.Address (P.PubKeyCredential "0000000000000000000000000000000000000000000000000000000000000000") Nothing)
burnAddress = Address testnet (P.Address (P.PubKeyCredential "00000000000000000000000000000000000000000000000000000000") Nothing)
price, collateral :: Value
price = ConstantParam "Price"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -357,4 +357,4 @@ contractForDifferencesWithOracle =
(UseValue "Increase in price")
(ConstantParam "Amount paid by party"))
(UseValue "Increase in price")
(ConstantParam "Amount paid by party")) Close)) Close))))] (TimeParam "Second window deadline") Close)))] (TimeParam "First window deadline") Close)))] (TimeParam "Counterparty deposit deadline") Close))] (TimeParam "Party deposit deadline") Close"""
(ConstantParam "Amount paid by party")) Close)) Close))))] (TimeParam "Second window deadline") Close)))] (TimeParam "First window deadline") Close)))] (TimeParam "Counterparty deposit deadline") Close))] (TimeParam "Party deposit deadline") Close"""
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ explicitRefunds = False
seller, buyer, burnAddress :: Party
buyer = Role "Buyer"
seller = Role "Seller"
burnAddress = Address testnet (P.Address (P.PubKeyCredential "0000000000000000000000000000000000000000000000000000000000000000") Nothing)
burnAddress = Address testnet (P.Address (P.PubKeyCredential "00000000000000000000000000000000000000000000000000000000") Nothing)

price, collateral :: Value
price = ConstantParam "Price"
Expand Down

0 comments on commit 6052803

Please sign in to comment.