alternation: fix bug introduced in oe_combiner

turns out sometimes we want to account for bddfalse
2022-09-30 01:25:45 +02:00 · 2022-09-30 01:25:45 +02:00 · 9b76e44b97
commit 9b76e44b97
parent 3e451c408b
1 changed files with 1 additions and 2 deletions
--- 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;
  }