From b4a46eb688d30c72b69256b93b73ec71d3fb0dab Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 6 Dec 2011 07:39:55 -0800
Subject: Bug fixes in CUDD 2.4.2.

---
 src/bdd/cudd/cuddInteract.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/bdd')

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;
     }
-- 
cgit v1.2.3