Skip to content
Permalink
Browse files

Fix choice numbering for crowd funding example

  • Loading branch information...
palas committed Apr 11, 2019
1 parent 5bb7489 commit 20f21a42b5ce7b36eb42b72e1f79561e49bd2a00
Showing with 3 additions and 3 deletions.
  1. +3 −3 semantics-2.0/examples/pure/CrowdFunding.hs
@@ -38,13 +38,13 @@ crowdFunding = Both
(Constant 0)) 10 20 Null Null) Null)
(When
(AndObs
(ChoseSomething (4, 4))
(ChoseSomething (1, 4))
(ValueGE
(ValueFromChoice (4, 4)
(ValueFromChoice (1, 4)
(Constant 0))
(Constant 1))) 10
(Commit 4 4 4
(ValueFromChoice (4, 4)
(ValueFromChoice (1, 4)
(Constant 0)) 10 20 Null Null) Null)))
(When FalseObs 10 Null
(Choice

0 comments on commit 20f21a4

Please sign in to comment.
You can’t perform that action at this time.