diff options
Diffstat (limited to 'src/misc/extra/extraBddUnate.c')
-rw-r--r-- | src/misc/extra/extraBddUnate.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/extra/extraBddUnate.c b/src/misc/extra/extraBddUnate.c index b0297c77..92396c38 100644 --- a/src/misc/extra/extraBddUnate.c +++ b/src/misc/extra/extraBddUnate.c @@ -395,7 +395,7 @@ extraZddUnateInfoCompute( } assert( bVars != b1 ); - if ( zRes = cuddCacheLookup2Zdd(dd, extraZddUnateInfoCompute, bFunc, bVars) ) + if ( (zRes = cuddCacheLookup2Zdd(dd, extraZddUnateInfoCompute, bFunc, bVars)) ) return zRes; else { @@ -573,7 +573,7 @@ DdNode * extraZddGetSingletonsBoth( if ( bVars == b1 ) return z1; - if ( zRes = cuddCacheLookup1Zdd(dd, extraZddGetSingletonsBoth, bVars) ) + if ( (zRes = cuddCacheLookup1Zdd(dd, extraZddGetSingletonsBoth, bVars)) ) return zRes; else { |