1 files changed, 11 insertions, 11 deletions

diff --git a/src/misc/espresso/setc.c b/src/misc/espresso/setc.c
index a6112ebc..64130ec5 100644
--- a/src/misc/espresso/setc.c
+++ b/src/misc/espresso/setc.c
@@ -114,14 +114,14 @@ register pset a, b;
 
     /* Check the partial word of binary variables */
     x = a[last] & b[last];
-    if (x = ~ (x | x >> 1) & cube.inmask)
+    if ((x = ~ (x | x >> 1) & cube.inmask))
         if ((dist = count_ones(x)) > 1)
         return 2;
 
     /* Check the full words of binary variables */
     for(w = 1; w < last; w++) {
         x = a[w] & b[w];
-        if (x = ~ (x | x >> 1) & DISJOINT)
+        if ((x = ~ (x | x >> 1) & DISJOINT))
         if (dist == 1 || (dist += count_ones(x)) > 1)
             return 2;
     }
@@ -159,13 +159,13 @@ register pset a, b;
 
     /* Check the partial word of binary variables */
     x = a[last] & b[last];
-    if (x = ~ (x | x >> 1) & cube.inmask)
+    if ((x = ~ (x | x >> 1) & cube.inmask))
         dist = count_ones(x);
 
     /* Check the full words of binary variables */
     for(w = 1; w < last; w++) {
         x = a[w] & b[w];
-        if (x = ~ (x | x >> 1) & DISJOINT)
+        if ((x = ~ (x | x >> 1) & DISJOINT))
         dist += count_ones(x);
     }
     }
@@ -200,13 +200,13 @@ IN register pset a, b;
 
     /* Check the partial word of binary variables */
     x = a[last] & b[last];
-    if (x = ~(x | x >> 1) & cube.inmask)
+    if ((x = ~(x | x >> 1) & cube.inmask))
         xlower[last] |= (x | (x << 1)) & a[last];
 
     /* Check the full words of binary variables */
     for(w = 1; w < last; w++) {
         x = a[w] & b[w];
-        if (x = ~(x | x >> 1) & DISJOINT)
+        if ((x = ~(x | x >> 1) & DISJOINT))
         xlower[w] |= (x | (x << 1)) & a[w];
     }
     }
@@ -252,13 +252,13 @@ IN register pcube a, b;
 
     /* Check the partial word of binary variables */
     r[last] = x = a[last] & b[last];
-    if (x = ~(x | x >> 1) & cube.inmask)
+    if ((x = ~(x | x >> 1) & cube.inmask))
         r[last] |= (x | (x << 1)) & (a[last] | b[last]);
 
     /* Check the full words of binary variables */
     for(w = 1; w < last; w++) {
         r[w] = x = a[w] & b[w];
-        if (x = ~(x | x >> 1) & DISJOINT)
+        if ((x = ~(x | x >> 1) & DISJOINT))
         r[w] |= (x | (x << 1)) & (a[w] | b[w]);
     }
     }
@@ -273,7 +273,7 @@ IN register pcube a, b;
     last = cube.last_word[var];
     empty = TRUE;
     for(w = cube.first_word[var]; w <= last; w++)
-        if (x = a[w] & b[w] & mask[w])
+        if ((x = a[w] & b[w] & mask[w]))
         empty = FALSE, r[w] |= x;
     if (empty)
         for(w = cube.first_word[var]; w <= last; w++)
@@ -299,7 +299,7 @@ register pcube a;
 
     /* Check the partial word of binary variables */
     x = a[last];
-    if (x = ~ (x & x >> 1) & cube.inmask) {
+    if ((x = ~ (x & x >> 1) & cube.inmask)) {
         if ((dist = count_ones(x)) > 1)
         return -1;        /* more than 2 active variables */
         active = (last-1)*(BPI/2) + bit_index(x) / 2;
@@ -308,7 +308,7 @@ register pcube a;
     /* Check the full words of binary variables */
     for(w = 1; w < last; w++) {
         x = a[w];
-        if (x = ~ (x & x >> 1) & DISJOINT) {
+        if ((x = ~ (x & x >> 1) & DISJOINT)) {
         if ((dist += count_ones(x)) > 1)
             return -1;        /* more than 2 active variables */
         active = (w-1)*(BPI/2) + bit_index(x) / 2;