From be0997c97ac87ed362e3c67731d5505cbbd1b6fd Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 25 May 2018 17:47:58 +0200
Subject: [PATCH] fix a9293f329

* spot/twaalgos/alternation.cc: Always call ensure_weak_scc().
---
 spot/twaalgos/alternation.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/spot/twaalgos/alternation.cc b/spot/twaalgos/alternation.cc
index 848a318b2..40f0a2a42 100644
--- a/spot/twaalgos/alternation.cc
+++ b/spot/twaalgos/alternation.cc
@@ -158,7 +158,9 @@ namespace spot
                     assert(si_.is_accepting_scc(n));
 
                     // Catch unsupported types of automata
-                    assert(!ensure_weak_scc(n));
+                    bool rejecting = ensure_weak_scc(n);
+                    assert(!rejecting);
+                    (void) rejecting;
                     // Detect if it is a "true state"
                     unsigned s = si_.states_of(n).front();
                     auto& ss = g.state_storage(s);