summaryrefslogtreecommitdiffstats
path: root/src/bdd
diff options
context:
space:
mode:
Diffstat (limited to 'src/bdd')
-rw-r--r--src/bdd/cudd/cuddInteract.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/cudd/cuddInteract.c b/src/bdd/cudd/cuddInteract.c
index 55673217..1d335c2a 100644
--- a/src/bdd/cudd/cuddInteract.c
+++ b/src/bdd/cudd/cuddInteract.c
@@ -193,10 +193,10 @@ cuddTestInteract(
int x,
int y)
{
- long posn, word, bit, result;
+ int posn, word, bit, result;
if (x > y) {
- long tmp = x;
+ int tmp = x;
x = y;
y = tmp;
}