alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

[buddy] fix handling of bdd_apply_biimp

Browse source 
* src/bddop.c: Fix shortcut.
This commit is contained in:
Alexandre Duret-Lutz 2017-06-20 15:17:28 +02:00
parent 85e4cf510c
commit 819cd7b8b6
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
buddy/src/bddop.c
View file

@ -656,8 +656,8 @@ static BDD apply_rec(BDD l, BDD r)
l = r; \ l = r; \
r = tmp; \ r = tmp; \
} \ } \
if (ISCONST(l)) \ if (ISONE(l)) \
return 0; \ return rec(r); \
break; \ break; \
case bddop_less: /* l < r = r - l */ \ case bddop_less: /* l < r = r - l */ \
{ \ { \