diff --git a/buddy/src/bddop.c b/buddy/src/bddop.c
index b61eb9a96..5bd5821ee 100644
--- a/buddy/src/bddop.c
+++ b/buddy/src/bddop.c
@@ -656,8 +656,8 @@ static BDD apply_rec(BDD l, BDD r)
            l = r;                                       \
            r = tmp;                                     \
          }                                              \
-       if (ISCONST(l))                                  \
-         return 0;                                      \
+       if (ISONE(l))                                    \
+         return rec(r);                                 \
        break;                                           \
      case bddop_less:  /* l < r = r - l */              \
        {                                                \