diff --git a/src/bdd/cudd/cuddInteract.c b/src/bdd/cudd/cuddInteract.c
index 556732175..1d335c2a1 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;
     }