Fixed example

This commit is contained in:
Radosław Rowicki 2020-03-23 12:23:52 +01:00 committed by GitHub
parent 83e03f3013
commit f999272442
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1012,8 +1012,8 @@ contract FundMe =
deadline : int, deadline : int,
goal : int } goal : int }
function spend(args : spend_args) = stateful function spend(args : spend_args) =
raw_spend(args.recipient, args.amount) Chain.spend(args.recipient, args.amount)
entrypoint init(beneficiary, deadline, goal) : state = entrypoint init(beneficiary, deadline, goal) : state =
{ contributions = {}, { contributions = {},
@ -1052,7 +1052,6 @@ contract FundMe =
require(state.total >= state.goal, "Project was not funded") require(state.total >= state.goal, "Project was not funded")
spend({recipient = state.beneficiary, spend({recipient = state.beneficiary,
amount = Contract.balance }) amount = Contract.balance })
put(state{ beneficiary = #0 })
stateful function withdraw_contributor() = stateful function withdraw_contributor() =
if(state.total >= state.goal) if(state.total >= state.goal)