From 9b76e44b979ad6bc4e01cba4a74d92fcd1d5fa72 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 205979f92..fb95fd6f3 100644
--- a/spot/twaalgos/alternation.cc
+++ b/spot/twaalgos/alternation.cc
@@ -85,8 +85,7 @@ namespace spot
               e.cond = bddfalse;
           }
 
-        if (res2 != bddfalse)
-          res &= res2;
+        res &= res2;
       }
     return res;
   }