From 9489a65bc635b0cca02b1c59e230e3afa31477f3 Mon Sep 17 00:00:00 2001
From: Maximilien Colange <colange@lrde.epita.fr>
Date: Thu, 14 Jun 2018 11:02:18 +0200
Subject: [PATCH] ltlsynt: more deterministic behavior

Zielonka algorithm used to iterate over an std::unordered_set, thus
producing different strategies depending on compiler...

* spot/misc/game.cc: replace std::unordered_set with std::set
---
 spot/misc/game.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/misc/game.cc b/spot/misc/game.cc
index dde0cbb6e..4db32694e 100644
--- a/spot/misc/game.cc
+++ b/spot/misc/game.cc
@@ -92,7 +92,7 @@ parity_game::attractor(const region_t& subgame, region_t& set,
                        unsigned max_parity, int p, bool attr_max) const
 {
   strategy_t strategy;
-  std::unordered_set<unsigned> complement = subgame;
+  std::set<unsigned> complement(subgame.begin(), subgame.end());
   for (unsigned s: set)
     complement.erase(s);