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;
   }