Fix problem on the Tic-Tac-Toe example

informalsystems · Dec 13, 2024 · 11341bf · 11341bf
1 parent 050a7b0
commit 11341bf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/games/tictactoe/tictactoe.qnt b/examples/games/tictactoe/tictactoe.qnt
@@ -127,7 +127,7 @@ module tictactoe {
 
   action MoveX = all {
     nextTurn == X,
-    not(won(O)),
+    not(gameOver),
     if (boardEmpty) StartInCorner else
     if (canWin) Win else
     if (canBlock) Block else
@@ -139,7 +139,7 @@ module tictactoe {
 
   action MoveO = all {
     nextTurn == O,
-    not(won(X)),
+    not(gameOver),
     MoveToEmpty(O),
     nextTurn' = X,
   }