Skip to content
Browse files

Merge branch 'master' of

  • Loading branch information...
simonjohnthompson committed Apr 11, 2019
2 parents f79beed + 5902757 commit 32dfe61524032ca2c3cb2f9b6330bdcfdba4b02e
Showing with 1 addition and 1 deletion.
  1. +1 −1 semantics-2.0/Semantics.hs
@@ -527,7 +527,7 @@ reduceRec blockNum state env (Scale divid divis def contract) =
vsDivis = evalValue blockNum state divis
vsDef = evalValue blockNum state def
reduceRec blockNum state env (While obs timeout contractWhile contractAfter) =
if isExpired timeout blockNum
if isExpired blockNum timeout
then go contractAfter
else if evalObservation blockNum state obs
then (While obs timeout (go contractWhile) contractAfter)

0 comments on commit 32dfe61

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