From d7fa7f4826259220b4b32e11c9872cdcc46de8b4 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Fri, 17 Nov 2017 08:57:01 +0100
Subject: [PATCH] Fixes #304

* spot/misc/game.cc: here.
---
 spot/misc/game.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spot/misc/game.cc b/spot/misc/game.cc
index 97c96d8be..8ceffa7b9 100644
--- a/spot/misc/game.cc
+++ b/spot/misc/game.cc
@@ -103,7 +103,8 @@ parity_game::attractor(const region_t& subgame, region_t& set,
                 }
               ++i;
             }
-          if ((owner_[s] == odd && any) || (owner_[s] != odd && all))
+          if ((((owner_[s] && odd) || (!owner_[s] && !odd)) && any) ||
+              (((!owner_[s] && odd) || (owner_[s] && !odd)) && all))
             {
               set.insert(s);
               delta.insert(s);