Skip to content
Permalink
Browse files

Fix order of isExpired args

  • Loading branch information...
palas committed Apr 11, 2019
1 parent 353a8cf commit 5902757ae0dfa8c061ce6a02099b408d9195f039
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 5902757

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