From 2d11d907ef4af4bd400d49a49a4bb6b3ebf8e434 Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Fri, 30 Sep 2022 01:25:45 +0200
Subject: [PATCH] alternation: fix bug introduced in oe_combiner

turns out sometimes we want to account for bddfalse
---
 spot/twaalgos/alternation.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/spot/twaalgos/alternation.cc b/spot/twaalgos/alternation.cc
index c9bd4ddb4..694796c4b 100644
--- a/spot/twaalgos/alternation.cc
+++ b/spot/twaalgos/alternation.cc
@@ -83,8 +83,7 @@ namespace spot
               e.cond = bddfalse;
           }
 
-        if (res2 != bddfalse)
-          res &= res2;
+        res &= res2;
       }
     return res;
   }