From 4bc68f8ab8f6ef04a86b4921b1295ae6cf825e7e Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Fri, 17 Nov 2017 14:04:41 +0100
Subject: [PATCH] misc: improve previous commit (thanks to A. Duret-Lutz)

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

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