From 819cd7b8b6a6c557f6149b1077d22a6bfa0e3b76 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 20 Jun 2017 15:17:28 +0200
Subject: [PATCH] [buddy] fix handling of bdd_apply_biimp

* src/bddop.c: Fix shortcut.
---
 buddy/src/bddop.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 */              \
        {                                                \