diff --git a/AlgebraicDataflowArchitectureModel/models/OnlineBattleGame2.model b/AlgebraicDataflowArchitectureModel/models/OnlineBattleGame2.model index 291c9eb..ccd15a7 100644 --- a/AlgebraicDataflowArchitectureModel/models/OnlineBattleGame2.model +++ b/AlgebraicDataflowArchitectureModel/models/OnlineBattleGame2.model @@ -27,7 +27,7 @@ channel UpdatePoint(rid:Str) { in rooms.{rid}.battle(prevState, updatePoint(hasWon, mid)) = hasWon for EachMember(mno:Int) { - in rooms.{rid}.members.{mno}.id(prevMid:Str, updatePoint(hasWon, mid)) = mid + ref rooms.{rid}.members.{mno}.id(mid:Str, updatePoint(hasWon, mid)) out accounts.{mid}.point(prevPoint:Int, updatePoint(hasWon, mid)) = if(hasWon, prevPoint + 1, prevPoint) } -} +} \ No newline at end of file