alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fixes #304

Browse source 
* spot/misc/game.cc: here.
This commit is contained in:
Etienne Renault 2017-11-17 08:57:01 +01:00
parent 50fe34a55a
commit d7fa7f4826
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/misc/game.cc
View file

@ -103,7 +103,8 @@ parity_game::attractor(const region_t& subgame, region_t& set,
} }
++i; ++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); set.insert(s);
delta.insert(s); delta.insert(s);