From 12a767dc0e0c6d939b8a622234fa7df2debc5206 Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Thu, 11 Apr 2024 17:58:44 -0700 Subject: [PATCH] Fixed rule in tictactoe --- examples/tictactoe.modal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/tictactoe.modal b/examples/tictactoe.modal index 87f9deb..d76448b 100644 --- a/examples/tictactoe.modal +++ b/examples/tictactoe.modal @@ -18,7 +18,7 @@ <> (((?0 ?x ?1) (?2 ?x ?3) (?4 ?x ?5)) ?x run) (?x victory) <> (((?0 ?1 ?x) (?2 ?3 ?x) (?4 ?5 ?x)) ?x run) (?x victory) <> (((?x ?0 ?1) (?2 ?x ?3) (?4 ?5 ?x)) ?x run) (?x victory) -<> (((?0 ?1 ?x) (?2 ?1 ?3) (?x ?4 ?5)) ?x run) (?x victory) +<> (((?0 ?1 ?x) (?2 ?x ?3) (?x ?4 ?5)) ?x run) (?x victory) -- (Game)